在类理论中，全局选择公理是选择公理应用于真类（非集合）上的较强版本。
陈述.全局选择公理可以用各种等价的方式来表达：