Fünftes Axiom: (0∈X∧∀n(n∈X→n+1∈X))→N⊆X
Es gilt
0∈=X{0,1,2,3,…}
und
∀n(n∈=X{0,1,2,3,…}→n+1∈=X{0,1,2,3,…}).
Laut fünftem Axiom ist deshalb N⊆{0,1,2,3,…}.
Es gilt aber {0, 0.5, 1, 1.5, 2, 2.5, 3, 3.5, ....}⊈{0,1,2,3,…}.
Also muss {0, 0.5, 1, 1.5, 2, 2.5, 3, 3.5, ....}=N sein.