Axiom der axiomatischen Mengenlehre, das die Existenz einer Menge X fordert, welche die leere Menge zum Element hat, und die mit einer Menge x auch die Menge x ∪ {x} zum Element hat.

Durch das Unendlichkeitsaxiom wird sichergestellt, daß es eine Menge mit unendlich vielen Elementen gibt.