全局选择公理

理论中,全局选择公理选择公理应用于真类(非集合)上的较强版本。

陈述

全局选择公理可以用各种等价的方式来表达:

  • “弱”形式:每个由非空集合组成的类都有一个选择函数
  • V \ { ∅ }有一个选择函数(这里的 V冯·诺伊曼全集(由所有集合组成的类))。
  • 存在一个 V良序排序。
  • V 和由所有序数组成的类之间存在一个对射

参见