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.