Natürliche Zahlen/Menge geq n/Induktiver Durchschnitt/Selbst induktiv/Fakt

Aus Wikiversity

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

Dann ist

induktiv abgeschlossen und enthält .