Natürliche Zahlen/Peano/Induktiv abgeschlossene Teilmenge/Definition

Aus Wikiversity
Induktiv abgeschlossen

Es sei ein Peanomodell für die natürlichen Zahlen. Dann heißt eine Teilmenge induktiv abgeschlossen, wenn für jedes auch der Nachfolger ist.