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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Induktiv abgeschlossen

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