跳转到内容

全局选择公理

维基百科，自由的百科全书

在类理论中，全局选择公理是选择公理应用于真类（非集合）上的较强版本。

陈述

[编辑]

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

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

参见

[编辑]
检索自“https://zh.wikipedia.org/w/index.php?title=全局选择公理&oldid=28695416”