查看“︁类”︁的源代码

[[分类:公理集合论]]
{{InfoBox
|name=类
|eng_name=class
}}
{{InfoBox
|name=真类
|eng_name=proper class
}}
'''类'''('''class''')指具有某种性质的事物的总体。
'''真类'''('''proper class''')指不是[[集合]]的类。

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