[拼音]：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，…}是集合;若再用并集公理就可得到ω+ω是集合。类似地还可以证明{埲，埌，…}也是集合。
超穷递归定理的证明离不开替换公理，而且在定义序数运算和讨论集合论的模型时也都离不开替换公理。