In der Menge ℕ der natürlichen Zahlen hat jede Zahl n einen (unmittelbaren) Nachfolger n + 1. Fängt man bei 1 an zu zählen, so kommt man nie zu einem Ende, es gibt unendlich viele natürliche Zahlen. Man sagt auch: Die Menge ℕ der natürlichen Zahlen ist unendlich.