全局选择公理 在类理论中,全局选择公理是选择公理應用於真類(非集合)上的較强版本。 陳述[编辑] 全局選擇公理可以用各种等價的方式来表达: “弱”形式:每個由非空集合組成的类都有一个选择函数。 V \ { ∅ }有一个选择函数(这里的 V 是冯·诺伊曼全集(由所有集合組成的类))。 存在一個 V 的良序排序。 V 和由所有序數組成的類之間存在一個對射。 参见[编辑] 选择公理 大小限制公理 冯诺伊曼-博内斯-哥德尔集合论 Morse-Kelley 集合论 这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。查论编