Natürliche Zahlen/Ordnung/Mengentheoretisch/Bijektion der Nachfolgermengen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Peanomodell für die natürlichen Zahlen und .

Dann ergibt die Einschränkung der Nachfolgeabbildung eine Bijektion