Zahlentheorie/Formaler Aufbau/Induktion/Existenz des Vorgängers/Aufgabe

Zeige ausgehend von den Dedekind-Peano-Axiomen, dass jedes Element ${}n\in {\mathbb {N} }$, ${}n\neq 0$, einen Vorgänger besitzt.

Zur Lösung, Alternative Lösung erstellen