Zum Inhalt springen

Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Fakt

Aus Wikiversity
Isomorphiesatz für Dedekind-Peano-Modelle

Es seien und Modelle für die natürlichen Zahlen.

Dann gibt es genau eine (bijektive) Abbildung

die das Zählen (also die und die Nachfolgerabbildung) respektiert.