全局选择公理
維基百科,自由的
encyclopedia
在
类
理论中,
全局选择公理
是
选择公理
應用於真類(非集合)上的較强版本。