Natürliche Zahlen/Ordnung/Mengentheoretisch/Zusammenhang geq k und Nachfolger/Fakt

Aus Wikiversity

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

Dann ist