大基数是什么意思 大基数是什么


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