更新时间：2024-05-21 16:50
真类是不是集合的类。在公理集合论NGB系统中，“类”被区分为“真类”和“集合”，真类与集合都是类，但两者不同，集合是某个类的元素，而真类不能作为类的元素。如所有的集合组成的类就是真类。
非小集的类称为真类。
在NGB公理集合论中，有一个初始对象为“类”，还有一个二元谓词“∈”，我们称一个类x是集合，当且仅当存在类y使得x∈y。称一个类x是真类，当且仅当x不是集合。
于是不存在真类属于某一个类。