Back Axioma de l'infinit Catalan Αξίωμα του απείρου Greek Axiom of infinity English Aksiomo de senfineco EO Axioma del infinito Spanish Lõpmatuse aksioom ET اصل موضوع بینهایت FA Axiome de l'infini French אקסיומת הקבוצה האינסופית HE Assioma dell'infinito Italian
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.[1] 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.
- ↑ Zermelo: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908), 261–281; Axiom des Unendlichen S. 266f.