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