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

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

Zur Lösung, Alternative Lösung erstellen