大基數

大基數是集合論用語。滿足某些特殊性質的不可數基數。如“不可達基數”、“可測基數”、“超緊基數”等都是大基數。其中，不可達基數是最小的大基數。在公理集合論ZFC系統中，既不能證明大基數存在，也不能否認大基數存在。

真類不是集合的類。在公理集合論NBC系統中，“類”被區分為“真類”和“集合”，真類與集合都是類，但兩者不同，集合是某個類的元素，而真類不能作為類的元素。如所有的集合組成的類就是真類。