Unendlichkeitsaxiom (axiomatischen Mengenlehre)

Un|endlichkeits|axiom, ein Axiom der axiomatischen Mengenlehre, das die Existenz unendlicher Mengen postuliert. In ihrem stufenfreien Aufbau sagt es aus, dass eine Menge M existiert, zu deren Elementen die leere Menge ∅ und mit jedem Element x auch die Vereinigungsmenge x ∪ {x} aus x und der einelementigen Menge