Zahlentheorie/Formaler Aufbau/Induktion/Eindeutigkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, das zwei Mengen und , die beide die Dedekind-Peano-Axiome

erfüllen, zueinander isomorph sind. Man gebe also eine bijektive Abbildung an, die in überführt und die die Nachfolgeabbildungen respektiert.
Zur Lösung, Alternative Lösung erstellen