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

Zeige ausgehend von den Dedekind-Peano-Axiomen,

dass jedes Element , , einen Vorgänger besitzt.