| 词条 | 子集公理模式 |
| 释义 | 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，…}是集合;若再用并集公理就可得到ω+ω是集合。类似地还可以证明{埲，埌，…}也是集合。 超穷递归定理的证明离不开替换公理，而且在定义序数运算和讨论集合论的模型时也都离不开替换公理。 |
| 随便看 |
百科全书收录78206条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。