Natürliche Zahlen: Die natürlichen Zahlen (0, 1, 2, ...) sind axiomatisch durch das peanosche Axiomensystem charakterisiert, mengentheoretisch ist ihre Existenz durch das Unendlichkeitsaxiom gesichert. Danach ist jede natürliche Zahl gleich der Menge ihrer Vorgänger, also 0 = ∅, 1 = {0}, 2 = {0, 1}, 3 = {0, 1, 2} usw.; durch