Natürliche Zahlen/Ordnung/Mengentheoretisch/Äquivalente Formulierung/Fakt

Aus Wikiversity

Es sei ein Peanomodell für die natürlichen Zahlen und .

Dann ist