Zahlentheorie/Formaler Aufbau/Induktion/Eindeutigkeit/Aufgabe

Zeige, das zwei Mengen ${}\mathbb {N} _{1}$ und ${}\mathbb {N} _{2}$, die beide die Dedekind-Peano-Axiome erfüllen, zueinander isomorph sind. Man gebe also eine bijektive Abbildung ${}\mathbb {N} _{1}\rightarrow \mathbb {N} _{2}$ an, die ${}0_{1}$ in ${}0_{2}$ überführt und die die Nachfolgeabbildungen respektiert.

Zur Lösung, Alternative Lösung erstellen