集合论中肯定无穷集合存在的公理。在公理化集合论和使用它的逻辑、数学和计算机科学中,无穷性公理是 Zermelo-Fraenkel 集合论的公理之一。
本词条最后更新于 2026-07-01 02:57:18