全局选择公理 在类理论中全局选择公理是选择公理應用於真類非集合上的較强版本