Damit ist es in der Tat überhaupt nicht selbstverständlich, dass die Menge der natürlichen Zahlen unendlich ist - man muss es erst beweisen. Das ist nicht so definiert, sondern es folgt aus den genannten Definitionen.