大基數是集合論中的一個概念，指的是具有某些特殊性質的不可數基數。這些性質通常意味著基數的“大小”非常“大”，例如超過所有滿足的最小的，其中是阿列夫數。大基數的存在性在ZFC集合論公理系統中既不能被證明也不能被否認。大基數的研究有助于理解某些結論超出ZFC能力的程度。大基數公理是一類斷言特定大基數存在的公理，它們通常被認為與ZFC相容，盡管這種相容性不能在ZFC內部被證明。
定義和性質
大基數性質是超限基數可能具有的若干性質的統稱。常見的大基數類別包括不可達基數、拉姆齊基數、弱緊基數和可測基數等。在這些類別中，可測基數和拉姆齊基數都比弱緊基數強，而在選擇公理的假定下，弱緊基數是不可達基數。不可達基數是最小的大基數，它們在ZFC系統中的存在性無法被證明或否認。
相容性和強度
大基數公理是斷言特定大基數存在的公理，例如，“存在3個不可達基數”便屬于大基數公理。許多集合論者相信這些公理與ZFC相容，且足以推出ZFC的相容性。然而，根據庫爾特·卡塞雷斯的第二不完備定理，ZFC（如果相容）無法證明這些公理與ZFC的相容性。大基數公理的相容強度可以組成一個全序，這意味著對于任意兩個大基數公理，它們要么等相容，要么一個比另一個強。
相容強度層級
雖然有些大基數公理不能比較相容強度，但許多自然的大基數公理可以按相容強度組成全序。對于兩個大基數公理和，通常有三種可能的關系：等相容、一個證明另一個相容，或者相反。這些關系反映了大基數公理在邏輯上的層級結構。值得注意的是，等相容強度的順序不必等于具有該性質的最小基數的大小順序。例如，巨大基數的存在性在相容意義下遠強于超緊基數的存在性，但如果兩者都存在，首個巨大基數可能小于首個超緊基數。
研究動機和公理認受性
大基數的研究可以放在約翰·馮·諾依曼全集的框架下進行。在這個框架中，無大基數的模型可以被視為有大基數的模型的子模型。例如，若有不可達基數，則在首個不可達基數的高度截斷全集，便得到一個無不可達基數的全集。一些集合論者認為，大基數公理有助于我們理解所有“應當”考慮的集合，而否定大基數公理則意味著只考慮了部分集合。這些觀點在集合論界并不是普遍接受的，不同的哲學派別對大基數公理的認受性有不同的看法。
參考資料 >