全局选择公理在类理论中,全局选择公理是选择公理应用于真类(非集合)上的较强版本。 陈述 全局选择公理可以用各种等价的方式来表达: “弱”形式:每个由非空集合组成的类都有一个选择函数。 V \ { ∅ }有一个选择函数(这里的 V 是冯·诺伊曼全集(由所有集合组成的类))。 存在一个 V 的良序排序。 V 和由所有序数组成的类之间存在一个对射。参见 选择公理 大小限制公理 冯诺伊曼-博内斯-哥德尔集合论 Morse-Kelley 集合论