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

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