Natürliche Zahlen/Zählen/Nachfolgerabbildung/Isomorphie/Fakt
Erscheinungsbild
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.