类(class)指具有某种性质的事物的总体。 真类(proper class)指不是集合的类。
由于集合可以用某种性质描述，人们尝试把具有“全体 XXX 的 XXX 组成的数学对象”形式的都称为集合，于是遇到了罗素悖论，这说明不是所有性质的结果都是集合； 进而，人们把这个抽象出来的概念称为类，其中性质符合矛盾律（不会导出罗素悖论、与 ZFC 系统不矛盾）的称为集合，不符合的称为真类(proper class)。
