Unendlichkeitsaxi ọ m

ein mathematisches Axiom, das besagt, dass in der Menge der natürlichen Zahlen jede Zahl einen Nachfolger hat, d. h. dass es unendlich viele natürliche Zahlen gibt. Peano-Axiome .