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

Induktiv abgeschlossen

Es sei ${}(N,0,')$ ein Peanomodell für die natürlichen Zahlen. Dann heißt eine Teilmenge ${}T\subseteq N$ induktiv abgeschlossen, wenn für jedes ${}n\in T$ auch der Nachfolger ${}n'\in T$ ist.