Der Nachfolger der natürlichen Zahl (n+1)² ist n²+2n+2.

Das Ergebnis einer Division natürlicher Zahlen liegt nie in ℕ.

ℕ={0,1,2,3,...}

Jede natürliche Zahl besitzt einen Vorgänger.

Mit der Vollständigen Induktion lassen sich Eigenschaften beweisen, die für alle natürlichen Zahlen Geltung besitzen.

Jede natürliche Zahl besitzt zwei Nachbarn, eine größere und eine kleinere Zahl.

Die Menge der natürlichen Zahlen besitzt unendlich viele Elemente.

Die Menge ℕ besitzt ein kleinstes, aber kein größstes Element.

Jede natürliche Zahl besitzt einen Nachfolger.

Jede mathematische Operation mit natürlichen Zahlen bis auf die Division liefert wiederum eine natürliche Zahl.