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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zum Beweis, Alternativen Beweis erstellen