大基数是***论用语，大基数是满足某些特殊性质的不可数基数。如“不可达基数”、“可测基数”、“超紧基数”等都是大基数。其中，不可达基数是最小的大基数。在公理***论ZFC系统中，既不能证明大基数存在，也不能否认大基数存在。真类不是***的类。在公理***论NBC系统中，“类”被区分为“真类”和“***”，真类与***都是类，但两者不同，***是某个类的元素，而真类不能作为类的元素。如所有的***组成的类就是真类。