大基數

真類不是集合的類。其中，不可達基數是最小的大基數。在公理集合論ZFC系統中，既不能證明大基數存在，也不能否認大基數存在。在公理集合論NBC系統中，“類”被區分為“真類”和“集合”，真類與集合都是類，但兩者不同，集合是某個類的元素，而真類不能作為類的元素。如所有的集合組成的類就是真類。