Unendlichkeitsaxiom

Das Unendlichkeitsaxiom ist ein Axiom der Mengenlehre, das die Existenz einer induktiven Menge postuliert. Es heißt Unendlichkeitsaxiom, da induktive Mengen auch zugleich unendliche Mengen sind. Das erste Unendlichkeitsaxiom publizierte Ernst Zermelo 1908 in der Zermelo-Mengenlehre. Es hat alle späteren Mengentheorien beeinflusst, insbesondere die Zermelo-Fraenkel-Mengenlehre (ZF), die verbreitetste Mengenlehre, die Zermelos Unendlichkeitsaxiom in geringfügig modifizierter Form übernahm.