tion::::公理化集合论.若把集合看作“符合任意特定性质的一堆东西”，会得出所谓罗素悖论。为解决罗素悖论，数学家提出公理化集合论。在公理集合论中，集合是一个不加定义的概念。
类.在更深层的公理化数学中，集合仅仅是一种特殊的类，是“良性类”，是能够成为其它类的元素的类。类区分为两种：一种是可以顺利进行类运算的“良性类”，我们把这种“良性类”称为集合；另一种是要限制运算的“本性类”，对于本性类，类运算并不是都能进行的。定义 类A如果满足条件“formula_222”，则称