真类
数学名词
真类是不是集合的类。在公理集合论NGB系统中，“类”被区分为“真类”和“集合”，真类与集合都是类，但两者不同，集合是某个类的元素，而真类不能作为类的元素。如所有的集合组成的类就是真类。
定义
非小集的类称为真类。
等价定义
在NGB公理集合论中，有一个初始对象为“类”，还有一个二元谓词“∈”，我们称一个类x是集合，当且仅当存在类y使得x∈y。称一个类x是真类，当且仅当x不是集合。
于是不存在真类属于某一个类。
参考资料
最新修订时间：2024-05-21 16:50
条目作者
小编
目录
概述
定义
等价定义
参考资料

Copyright©2024 闽ICP备2024072939号-1