大基数是什么

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