集，所以我们可以使用分类公理模式来构造这个像为集合 formula_6。一般的说，当 "F" 在 "A" 的成员上的值都属于某个预先构造的集合 "T" 时，使用分类公理就足够了；只在不能获得这样的 "T" 的时候，才需要替代公理，比如定义在真类的子集上的运算。按某些哲学家的说法，在上述例子中最好应用分类公理于集合 "T"，因为分类公理在逻辑上弱于替代公理。实际上，在普通数学中不需要替代公理，只是需要它作为特定公理化集合论的特征。例如，你需要替代公理来从 ω·2 向上构造冯·诺伊曼序数，而冯·诺伊曼序数对