< Natürliche Zahlen < Zählen < Nachfolgerabbildung < Isomorphie
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.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.