大小限制公理

維基百科,自由的百科全書
跳至導覽 跳至搜尋

理論中,大小限制公理聲稱對於任何類 C,C 是真類(不可以是其他類的元素的類),當且僅當馮·諾伊曼全集 V (所有集合的類)能一一映射到 C。

這個公理由馮·諾伊曼提出。它蘊涵了分類公理模式替代公理模式全局選擇公理。大小限制公理蘊涵全局選擇公理是因為序數的類不是集合,因此有從全集到序數們的單射。所以集合的全集是良序的。

參看[編輯]