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