大基數是集合論用語,大基數是滿足某些特殊性質的不可數基數。如“不可達基數”、“可測基數”、“超緊基數”等都是大基數。其中,不可達基數是最小的大基數。在公理集合論ZFC系統中,既不能證明大基數存在,也不能否認大基數存在。真類不是集合的類。在公理集合論NBC系統中,“類”被區分為“真類”和“集合”,真類與集合都是類,但兩者不同,集合是某個類的元素,而真類不能作為類的元素。如所有的集合組成的類就是真類。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!