查看“︁大小限制公理”︁的源代码

在[[类 (数学)|类]]理论中，'''大小限制公理'''声称对于任何类 C，C 是[[真類]](不可以是其他类的元素的类)，当且仅当[[冯·诺伊曼全集]] V (所有集合的类)能一一映射到 C。

:<math>\forall C [\lnot \exist W (C \in W) \iff \exist F ( \forall x [\exist W (x \in W) \Rightarrow \exist s (s \in C \land \langle x, s \rangle \in F)] \land </math>
::<math>\forall x \forall y \forall s [(\langle x, s \rangle \in F \land \langle y, s \rangle \in F) \Rightarrow x = y])].</math>

这个公理由[[冯·诺伊曼]]提出。它蕴涵了[[分类公理|分类公理模式]]、[[替代公理|替代公理模式]]和[[全局选择公理]]。大小限制公理蕴涵全局选择公理是因为[[序数]]的类不是集合，因此有从全集到序数们的[[单射]]。所以集合的全集是[[良序关系|良序]]的。

==參看==
*[[全局选择公理]]
*[[大小限制]]
*[[冯诺伊曼-博内斯-哥德尔集合论]]
*[[Morse-Kelley 集合论]]

{{math-stub}}
[[Category:集合论公理]]
[[Category:良基性]]