理就足够了；只在不能获得这样的 "T" 的时候，才需要替代公理，比如定义在真类的子集上的运算。按某些哲学家的说法，在上述例子中最好应用分类公理于集合 "T"，因为分类公理在逻辑上弱于替代公理。实际上，在普通数学中不需要替代公理，只是需要它作为特定公理化集合论的特征。例如，你需要替代公理来从 ω·2 向上构造冯·诺伊曼序数，而冯·诺伊曼序数对特定集合论的结果是必需的。在良序集合的理论就足够应用的情况下，你不需要用替代公理构造这些序数。对于某些钻研数学基础的数学家，特别是那些专注于类型论而非集合论的人，他们