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

大基数是逻辑学术语,为集合论用语。满足某些特殊性质的不可数基数。如“不可达基数”、“可测基数”、“超紧基数”等都是大基数。其中,不可达基数是最小的大基数。在公理集合论ZFC系统中,既不能证明大基数存在,也不能否认大基数存在。真类不是集合的类。在公理集合论NBC系统中,“类”被区分为“真类”和“集合”,真类与集合都是类,但两者不同,集合是某个类的元素,而真类不能作为类的元素。如所有的集合组成的类就是真类。
朋友正在学习逻辑学知识,就问:“大基数是什么?”
2022-04-02 1个回答我家里人都很爱吃豆腐,经常买来吃,红烧豆腐,麻婆豆腐,香煎豆腐都是我家餐桌上常见的菜,但今天想做个小葱拌豆腐来吃,却不知道豆腐该焯水多久。
2021-07-01 1个回答古代的一些称呼和现代不一样,像在古代老大是长子,也就是称为伯,想知道一般次子在古代是什么称呼的?
2021-09-23 1个回答呜呜呜,我就是一个酸菜鱼,又酸又菜又多余,我不仅不会做菜,现在连饭也做不好了。前几天我蒸了好几次米饭,都没熟。不知道是不是蒸的时间太短了,请问米饭应该蒸多久啊?
2021-07-02 1个回答长城到底有多长?
2022-08-11 1个回答