Zahlentheorie/Formaler Aufbau/Induktion/Eindeutigkeit/Aufgabe

Aus Wikiversity

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.