在集合論，**大基數性質**是超限基數可能具有的若干性質的統稱。顧名思義，有某種大基數性質的基數（**大基數**）一般都很「大」（例如，比滿足{\displaystyle \alpha =\omega \_{\alpha }}的最小的\alpha 更大，其中\omega \_{\alpha }的意義見阿列夫數）。大基數的存在性不能用最常見的ZFC集合論公理系統證明，所以，若需要大基數才能證明某些結論，則可用所需的大基數來衡量該結論「超出」ZFC的程度。其如達納·斯科特所言，量化了「欲證更多，必先假設更多」。

常見大基數類別有不可达基数、拉姆齊基數（英语：）、弱紧基数（英语：）和可测基数等，其中可测基数和拉姆齊基数都比弱紧基数强，而若假定選擇公理，弱紧基数是不可达基数。

集合論界中有以下粗略約定：ZFC足以證明的結論敍述時不用列明前提「假設ZFC」，但若證明要求其他假設（例如存在某個大基數），則須列明。視乎哲學派別，或認為該約定僅是語言慣例，或認為其意義更重大（見研究動機和公理認受性一節）。

**大基數公理**是斷言特定大基數存在的公理。例如，「存在3個不可達基數」便屬大基數公理。

許多集合論者相信現時考慮的大基數公理皆與ZFC相容[來源請求]。該些公理足以推出ZFC相容，因此ZFC（若相容）無法證明該些公理與ZFC相容，否則ZFC將證明自身的相容性，與哥德爾第二不完備定理矛盾。

並無準確定義何種性質為大基數性質，但大基數性質列表（英语：）列舉了若干較普遍接受的大基數性質。

部分定義
----

某個基數性質稱為**大基數性質**有個必要條件：未知ZFC能證明不存在具有該種性質的基數，且已證明若ZFC相容，則ZFC與「不存在該種基數」也相容（即已證明ZFC（若相容）不能證出該種基數存在）。

相容強度層級
------

值得注意，雖然喬爾·哈姆金斯（英语：）稱找到不能比較相容強度的大基數公理，仍有許多自然的大基數公理按相容強度（英语：）組成全序。換言之，對於大基數公理A\_{1}和A\_{2}，通常恰有以下三者之一：

1. 除非ZFC不相容，否則{\displaystyle {\mathsf {ZFC}}+A\_{1}}相容當且僅當{\displaystyle {\mathsf {ZFC}}+A\_{2}}相容；
2. {\displaystyle {\mathsf {ZFC}}+A\_{1}}證明{\displaystyle {\mathsf {ZFC}}+A\_{2}}相容；
3. {\displaystyle {\mathsf {ZFC}}+A\_{2}}證明{\displaystyle {\mathsf {ZFC}}+A\_{1}}相容。

此三者互斥，除非所提及的理論其實不相容。

情況1，稱A\_{1}與A\_{2}等相容（英语：）。情況2，稱A\_{1}在**相容意義下強**於A\_{2}（情況3則反之）。若A\_{2}強於A\_{1}，則即使由{\displaystyle {\mathsf {ZFC}}+A\_{1}+{\mathsf {Cons}}({\mathsf {ZFC}}+A\_{1})}，也不能證明{\displaystyle {\mathsf {ZFC}}+A\_{2}}相容（前提是{\displaystyle {\mathsf {ZFC}}+A\_{1}}確實相容）。此為哥德爾第二不完備定理的推論。

由於未有大基數公理的準確定義（並有哈姆金斯的結果），以上觀察無法成為定理。此外，對一些A\_{1},A\_{2}，仍未知三個情況何者為真。薩哈龍·謝拉赫（英语：）問：「是否有定理解釋，抑或是我們的目光比所以為的更單一？」同樣值得注意，許多組合命題恰與某個大基數等相容，而非介於兩個大基數的等相容強度之間。

等相容強度的順序，不必等於具有該性質的最小基數的大小順序。例如，巨大基數（英语：）的存在性，在相容意義下遠強於超緊基數（英语：）的存在性，但假設兩者皆存在，則首個巨大基數小於首個超緊基數。

研究動機和公理認受性
----------

大基數可放在冯·诺伊曼全集V理解。冯·诺伊曼全集是將冪集運算（將某集合的所有子集組成集合）超限疊代而得。無大基數的模型經常可視為有大基數的模型的子模型。例如，若有不可達基數，則在首個不可達基數\kappa的高度將全集V截斷成{\displaystyle V\_{\kappa }}，便是無不可達基數的全集。又設有可測基數\lambda ，則疊代「可定義」冪集運算（而非完整的冪集運算），便得哥德爾可構全集（英语：）L，其不認為存在可測基數，即使L仍包含\lambda （作為序數）。

所以，一些加州學派（英语：）集合論者認為，大基數公理「說明」正在考慮全部「應當」考慮的集合，而否定大基數公理，則「限制」只考慮一部分集合。更甚者，大基數公理的後果似乎可以找到一定規律（見麥迪〈相信公理之二〉）。因此，該些集合論者傾向認為，大基數公理是ZFC的較好的擴展，勝於其他較少明確動機的公理（如馬丁公理），也勝於他們直觀認為較不可能的公理（如可構公理（英语：））。此派中的實在論者視大基數定理為「真」。

當然上述觀點並不普遍。一些形式論者會斷言，標準集合論，按其定義，是研究ZFC有何後果。其未必反對研究其他系統有何後果，而僅覺得無理由偏好大基數公理。也有實在論者不以極大存在論（英语：）（即認為可存在之事皆存在）為接受大基數公理的合適動機，甚至相信大基數公理為假。此外，還有人指出，否定大基數公理並非「限制」，因為例如，雖然哥德爾可構全集L不認為存在可測基數，但L中也可以有傳遞集合模型認為存在可測基數。

參見
--

* 首個不可數序數
* ZFC系統無法確定的命題列表

參考資料
----

1. ↑  Bell, J.L.  [布爾值模型及集合論的獨立性證明]. Oxford University Press. 1985. viii. ISBN 0-19-853241-5 （英语）.
2. ↑  Hamkins, Joel David.  [大基數的相容強度層級非線性] (PDF). 2021  [2021-08-20]. （原始内容存档 (PDF)于2021-08-20） （英语）.
3. ↑  Shelah, Saharon.  [集合論的未來]. 2002. arXiv:math/0211397v1 可免费查阅 （英语）.  引文使用过时参数`version` (帮助)
4. ↑  Morgenstern, Carl F.  [論某些大基數的次序]. The Journal of Symbolic Logic. 1979, **44** (4): 563–565. doi:10.2307/2273295 （英语）.
5. ↑  Maddy, Penelope.  [相信公理之二] (PDF). The Journal of Symbolic Logic. 1988, **53** (3): 736–764  [2021-08-21]. doi:10.2307/2274569. （原始内容存档 (PDF)于2021-08-21） （英语）.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理（英语：）

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 托马斯·耶赫（英语：）
* 威拉德·蒯因

 |

 |