Peano-Axiome/Nachfolger/Vorgängereigenschaft/Aufgabe

Zeige, dass die Vorgängereigenschaft

$\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