大小限制公理 在类理论中大小限制公理声称对于任何类 CC 是真類不可以是其他类的元素的类当且仅当冯诺伊曼全集 V 所有集合的类能一一映射到 C  C    W  C  W    F   x   W  x  W    s  s  C   x  s   F    displaystyle forall Clnot exists WCin Wiff exists Fforall xexists Wxin WRightarrow exists ssin Cland langle xsrangle in Fland   x  y  s    x  s   F   y  s   F   x  y     displaystyle forall xforall yforall slangle xsrangle in Fland langle ysrangle in FRightarrow xy 这个公理由冯诺伊曼提出它蕴涵了分类公理模式替代公理模式和全局选择公理大小限制公理蕴涵全局选择公理是因为序数的类不是集合因此有从全集到序数们的单射所以集合的全集是良序的