这是大小限制公理的当前版本,由Texvc2LaTeXBot(留言 | 贡献)编辑于2018年11月9日 (五) 21:04 (替换弃用的数学语法)。这个网址是本页该版本的固定链接。
在类理论中,大小限制公理声称对于任何类 C,C 是真類(不可以是其他类的元素的类),当且仅当冯·诺伊曼全集 V (所有集合的类)能一一映射到 C。
这个公理由冯·诺伊曼提出。它蕴涵了分类公理模式、替代公理模式和全局选择公理。大小限制公理蕴涵全局选择公理是因为序数的类不是集合,因此有从全集到序数们的单射。所以集合的全集是良序的。