[拼音]：wuqiongxing gongli

[外文]：axiom of infinity

论中肯定无穷 存在的公理。

G.F.P.康托尔在建立 论时，发现仅靠逻辑公理不能保证有无穷 存在，因为没有一个一阶公式能在无穷个体域有效而在有穷个体域上不有效。而利用ZF系统中的公理①～⑥及⑧、⑨（见 论）虽然可以定义一个个具体的自然数，也可以定义自然数概念，但却无法证明全体自然数的 ω ={0，1，… }存在，也无法证明任何一个无穷 的存在性。实际上，如果ZF-有模型，则全体继承性有穷的 ，即其本身有穷、其元素有穷、其元素的元素有穷……仍是ZF-的模型。即便如此，ZF-公理仍不能保证无穷集的存在，而必须有一条专门的公理。

按照无穷性公理，最基本的无穷集是自然数集ω，ω的最突出的特点是归纳性。它表现为如果嗞 ∈，并且x∈AU{x}∈A，就称A为归纳集。无穷公理通常就是从这个角度陈述的。利用无穷性公理和子集公理（见子集公理模式）可以定义 ω为小的归纳集，一旦有了ω 就可以证明归纳原则和递归定理，然后就可以递归地定义自然数上的各种运算。例如， 可以把加法定义为m+0=m，n+s(n)=s（m+n）；乘法定义为m·0=0，m·s(n)=m·n+m。例中m为任意自然数，自然数之间的<关系定义为∈。容易验证，这样定义出的自然数与直观的自然数概念是吻合的。利用 ω和ZF公理可以定义整数、有理数、实数、复数等各种数学对象及其运算，也可以推出形形 的无穷 的存在性。

现代 论中还有一些强无穷性公理，也叫大基数公理，它们断言有各种大基数存在，现已提出的大基数达数十种，它们都可以看作是埲的某种推广。

严正声明：本文由历史百科网注册或游客用户仲瑾灵自行上传发布关于» 无穷性公理的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：仲瑾灵；本文链接：https://www.freedefine.cn/wenzhan/100508.html