集合论中肯定无穷集合存在的公理。在公理化集合论和使用它的逻辑、数学和计算机科学中，无穷性公理是 Zermelo-Fraenkel 集合论的公理之一。