大小限制公理

在類理論中 ， 大小限制公理聲稱對於任何類 C ， C 是真類 ， 當且僅當馮 · 諾伊曼全集 V 能一一映射到 C 。 這個公理由馮 · 諾伊曼提出 。 它蘊涵了分類公理模式 、 替代公理模式和全局選擇公理 。 大小限制公理蘊涵全局選擇公理是因爲序數的類不是集合 ， 因此有從全集到序數們的單射 。 所以集合的全集是良序的 。