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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige ausgehend von den Dedekind-Peano-Axiomen,

dass jedes Element , , einen Vorgänger besitzt.
Zur Lösung, Alternative Lösung erstellen