集合论中肯定无穷集合存在的公理。在公理化集合论和使用它的逻辑、数学和计算机科学中,无穷性公理是 Zermelo-Fraenkel 集合论的公理之一。[1]按照无穷性公理,最基本的无穷集是自然数集w,w的最突出的特点是归纳性它表现为如果 ∈,并且∈A^0蕴涵wU∈A,就称A为归纳集。无穷公理通常就是从这个角度陈述的。利用无穷性公理和子集公理(见子集公理模式)可以定义w为最小的归纳集,一旦有了w就可以证明归纳原则和递归定理,然后就可以递归地定义自然数上的各种运算。例如, 可以把加法定义为m+0=m,n+s(n)=s(m+n);乘法定义为m·0=0,m·s(n)=m·n+m。例中m为任意自然数,自然数之间的<关系定义为∈。容易验证,这样定义出的自然数与直观的自然数概念是吻合的。利用w和ZF公理可以定义整数、有理数、实数、复数等各种数学对象及其运算,也可以推出形形色色的无穷集合的存在性。G.F.P.康托尔在建立集合论时,发现仅靠逻辑公理不能保证有无穷集合存在,因为没有一个一阶公式能在无穷个体域有效而在有穷个体域上不有效。而利用ZF系统中的公理①~⑥及⑧、⑨(见集合论)虽然可以定义一个个具体的自