全局選擇公理

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