全局選擇公理

在類理論中，全局選擇公理是選擇公理應用於真類（非集合）上的較強版本。

陳述

全局選擇公理可以用各種等價的方式來表達：

• 「弱」形式：每個由非空集合組成的類都有一個選擇函數。
• V \ { ∅ }有一個選擇函數(這裡的 V 是馮·諾伊曼全集(由所有集合組成的類))。
• 存在一個 V 的良序排序。
• V 和由所有序數組成的類之間存在一個對射。

參見

• 選擇公理
• 大小限制公理
• 馮諾伊曼-博內斯-哥德爾集合論
• Morse-Kelley 集合論