[拼音]：ziji gongli moshi

[外文]：axiom schema of subsets

公理 论（见 论）的一个公理模式，也称为分离公理模式。它相当于无穷多条公理，对每个公式φ有一条公理。设φ为含自由变项u的公式，φ中其他自由变项可看作参量，则对任意的 x，存在 y，y恰由x中那些满足φ 的u组成。

将它写成公式，就是：

凬zヨy凬u(u∈y凮u∈x∧φ(u))。这样得到的y是x的子集，其元素都是x的元素。该公理因此而得名。

子集公理模式的提出，是为了对 的规模加以限制，即把 论的创始人G.F.P.康托尔所认为的满足一个性质的全体对象组成一个 ，这样一种概括过程限制在一个已知 之内，以避免悖论，如罗素悖论、布拉里-弗蒂悖论等。

在 论中，有了外延性公理、空集公理、对集公理、子集公理模式、并集公理、幂集公理和无穷性公理这 7条公理，就可以定义自然数、实数等数学对象，但仍有很多重要的 产生不出来。为此，还得有一个更强的公理。

替换公理模式设φ为含自由变项u，υ的公式，u，υ以外的自由变项可看作参量，并且对每个u至多有一个υ使φ(u，υ)成立，那末对任何 x都存在 y，y恰由对x中的u 使φ(u，υ)成立的υ组成。即：凬u凬υ凬ω(φ(u，υ)∧φ(u，ω))→凬xヨy凬υ(υ∈y凮

ヨu(φ(u，υ)∧u∈x))。替换公理也是无穷多条，而且对每个公式φ都有一条公理。

由替换公理可以推出子集公理。利用替换公理，取x=ω，(u，υ)为(u∈ω∧υ=ω+u)，可以证明y={ω，ω+1，…}是 ;若再用并集公理就可得到ω+ω是 。类似地还可以证明{埲，埌，…}也是 。

超穷递归定理的证明离不开替换公理，而且在定义序数运算和讨论 论的模型时也都离不开替换公理。

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