< Peano-Axiome < Nachfolger < Vorgängereigenschaft
Zeige, dass die Vorgängereigenschaft
∀
x
(
x
≠
0
→
∃
y
(
x
=
N
y
)
)
{\displaystyle \forall x{\left(x\neq 0\rightarrow \exists y(x=Ny)\right)}}
aus der Menge der
Peano-Axiome für den Nachfolger
folgt.
Zur Lösung
,
Alternative Lösung erstellen
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
