複製鏈接
請複製以下鏈接發送給好友

大基數

鎖定
大基數是邏輯學術語,為集合論用語。滿足某些特殊性質的不可數基數。如“不可達基數”、“可測基數”、“超緊基數”等都是大基數。其中,不可達基數是最小的大基數。在公理集合論ZFC系統中,既不能證明大基數存在,也不能否認大基數存在。 [1] 
中文名
大基數
類    型
邏輯學術語
基本概念
真類不是集合的類。在公理集合論NBC系統中,“類”被區分為“真類”和“集合”,真類與集合都是類,但兩者不同,集合是某個類的元素,而真類不能作為類的元素。如所有的集合組成的類就是真類。
參考資料
  • 1.    彭漪漣.邏輯學大辭典:上海辭書出版社,2004年12月