★置頂zzllrr小樂公眾號，追蹤《小樂數(shù)學(xué)科普》系列報道！

策梅洛-弗蘭克爾集合論早已被廣泛接納，現(xiàn)代數(shù)學(xué)家大多習(xí)以為常。但這套理論的核心準(zhǔn)則，從一開始就并非順理成章、毫無爭議。

圖源：Kristina Armitage/Quanta Magazine

作者：Gregory Barber（量子雜志特約撰稿人）2026-4-29

譯者：zzllrr小樂（數(shù)學(xué)科普公眾號）2026-5-4

求喜歡

數(shù)學(xué)家如何判斷一條命題為真？依靠證明。

人們通常以已被驗證的結(jié)論為基石，不斷延伸、搭建新的論證。層層推導(dǎo)環(huán)環(huán)相扣，證明依托于更早的證明，真理建立在既定真理之上。但這條鏈條必然存在終點。在某個邊界處，部分命題無需推導(dǎo)，僅憑本身成立。

這類不證自明的基礎(chǔ)命題即為公理，是整個數(shù)學(xué)體系的底層規(guī)則。人們很容易簡單定義公理，正如加州大學(xué)歐文分校數(shù)學(xué)哲學(xué)家佩內(nèi)洛普?馬迪（Penelope Maddy）所說，將公理視作直觀、自明或概念層面的既定事實。

絕大多數(shù)數(shù)學(xué)家即便關(guān)注公理體系，也普遍默認(rèn)自己的研究依托于一套標(biāo)準(zhǔn)框架，即附加選擇（choice）公理的策梅洛 - 弗蘭克爾（Zermelo-Fraenkel）集合論，簡稱ZFC。ZFC包含十條基礎(chǔ)準(zhǔn)則，支撐起幾乎全部現(xiàn)代數(shù)學(xué)。

但深入探究就會發(fā)現(xiàn)，數(shù)學(xué)真理體系的建立，充滿爭議與人為考量。馬迪表示，任何客觀審視ZFC公理確立過程的人，都無法否認(rèn)，這套規(guī)則的選定，摻雜了各類實用的數(shù)學(xué)訴求與權(quán)衡。

這場始于一個多世紀(jì)以前的學(xué)術(shù)爭論，至今仍未落幕。

悖論與質(zhì)疑

十九世紀(jì)末，悖論叢生，質(zhì)疑四起。數(shù)學(xué)家試圖尋找統(tǒng)一的底層規(guī)則，用來約束整個數(shù)學(xué)體系，各類邏輯矛盾隨之浮現(xiàn)。彼時已有零散的公理體系，大多只適用于單一領(lǐng)域，例如歐幾里得幾何公設(shè)、各類算術(shù)規(guī)范。但不同體系能否兼容？全部數(shù)學(xué)分支，是否可以統(tǒng)一依托同一套基礎(chǔ)規(guī)則推導(dǎo)而出？

格奧爾格?康托爾（Georg Cantor）的研究，為學(xué)界提供了方向，也帶來了新的困惑。

當(dāng)時康托爾正在研究實數(shù)，以及實數(shù)背后無窮概念的本質(zhì)規(guī)律。他證明實數(shù)的數(shù)量遠(yuǎn)多于整數(shù)（參閱小樂數(shù)學(xué)科普：），由此得出顛覆性結(jié)論：所有無窮集合并非等勢，無窮存在大小之分。

德國數(shù)學(xué)家恩斯特?策梅洛（Ernst Zermelo）提出了選擇公理，它是如今支撐整個數(shù)學(xué)體系的十條基本原理中最具爭議的一條。

為完成無窮集合的對比分析，康托爾引入了一個簡單卻關(guān)鍵的工具：集合。集合是各類對象的匯總，可以是數(shù)字、圖形，也可以是以集合自身為元素的復(fù)合集合。后續(xù)研究發(fā)現(xiàn)，形形色色的數(shù)學(xué)概念，都能借助集合語言進(jìn)行描述與轉(zhuǎn)化。集合論一度成為調(diào)和各數(shù)學(xué)分支矛盾、統(tǒng)一理論基礎(chǔ)的核心方案。

早期樸素集合論缺少嚴(yán)格約束，允許依靠任意性質(zhì)定義集合，這直接催生了大量邏輯悖論，困擾著當(dāng)時的數(shù)學(xué)界。經(jīng)典例子便是羅素悖論：定義由所有不屬于自身的集合組成的新集合，無論判定該集合是否包含自身，都會陷入無法化解的邏輯沖突。

為解決集合論危機(jī)，策梅洛 - 弗蘭克爾體系逐步成型，而這一切都圍繞康托爾的核心觀點展開。

1883年，康托爾提出良序原理（well-ordering principle）：任意集合都可以被合理排序，使其每一個非空子集都存在最小元素。有限集合符合這一直觀認(rèn)知，我們總能從小到大依次排列元素。但無窮集合難以直觀理解，以全體整數(shù)集合 {…，?2，?1，0，1，2，…} 為例，負(fù)整數(shù)子集可以無限遞減，看似不存在最小元。

若調(diào)整排序方式，將整數(shù)排列為 {0，?1，1，?2，2，…}，那么任意子集都能找到首位最小元素，?1 便成為負(fù)整數(shù)子集的最小值。

康托爾主張，所有集合都滿足良序原理，即便無法具體構(gòu)造出對應(yīng)的排列順序。這一觀點，試圖讓無窮集合擁有與有限集合相似的基礎(chǔ)性質(zhì)。

1904年，德國數(shù)學(xué)家恩斯特?策梅洛（Ernst Zermelo）嚴(yán)格證明了良序原理。他證實，康托爾的這一核心論斷，與一條全新的基礎(chǔ)準(zhǔn)則等價，這條準(zhǔn)則就是選擇公理。選擇公理表述為：給定任意一組非空集合，無論集合數(shù)量有限或是無窮，我們都可以從每一個集合中各選取一個元素，組合形成一個全新的集合。

ZFC的10條公理

1 空集公理：存在一個不含任何元素的集合，稱為空集。

2 外延公理：若兩個集合擁有完全相同的元素，則它們是同一個集合。

3 配對公理：對任意兩個集合，可以構(gòu)造一個以這兩個集合為元素的新集合。

4 冪集公理：對任意集合，可以構(gòu)造一個包含其所有子集的新集合。

5 并集公理：若一個集合由其他集合構(gòu)成，可以收集這些集合的所有元素，構(gòu)成一個新集合。

6 無窮公理：存在一個無窮集合。

7 分離公理：從任意集合中，可篩選出滿足某一特定性質(zhì)的元素，構(gòu)成其子集。

8 替換公理：對任意集合，可通過對其每個元素應(yīng)用給定的運算，構(gòu)造一個新集合。

9 正則公理：任何集合都不能是其自身的元素。

10 選擇公理：給定一組集合，可以從每個集合中選出一個元素，構(gòu)成一個新集合。

為完成證明，策梅洛整理羅列了一系列必要的基礎(chǔ)假設(shè)。巴塞羅那大學(xué)集合論學(xué)者瓊?巴加里亞（Joan Bagaria）提到，他只是逐一列出完成證明必須用到的全部前提條件。這份清單包含集合的基本定義、元素決定集合唯一性等基礎(chǔ)內(nèi)容，同時涵蓋集合構(gòu)造規(guī)則、無窮集合存在性等關(guān)鍵設(shè)定。

在策梅洛完善公理體系的同一時期，亞伯拉罕?弗蘭克爾（Abraham Fraenkel）等數(shù)學(xué)家也在深耕集合論基礎(chǔ)，對原有理論進(jìn)行修正與補充，提出新的公理，解決高階無窮研究中出現(xiàn)的漏洞。1930年，策梅洛發(fā)布修訂后的最終公理清單，彼時的基礎(chǔ)體系命名為ZF，這份版本最初并未納入選擇公理。相較于其他公理，選擇公理只保證集合存在，卻無法給出具體構(gòu)造方法，因此長期飽受爭議，數(shù)學(xué)家對其接納態(tài)度十分謹(jǐn)慎。

圖源：David B. Keidan收藏，中央錫安檔案館數(shù)字圖像

依托ZF公理體系，羅素悖論等經(jīng)典集合論矛盾基本被消除，這是策梅洛的重大成果。但他始終無法證明這套體系的一致性，也就是無法確保系統(tǒng)內(nèi)部永遠(yuǎn)不會推導(dǎo)出相互矛盾的命題。

這份擔(dān)憂其實并無必要。ZF體系誕生數(shù)年之后，庫爾特?哥德爾（Kurt G?del）證明，任何能夠容納基礎(chǔ)算術(shù)的公理系統(tǒng)，都無法在體系內(nèi)部完成自洽性證明。不僅如此，相容的公理系統(tǒng)必然具備不完備性，體系內(nèi)永遠(yuǎn)存在無法被證明、也無法被證偽的真命題。

1960年代，斯坦福大學(xué)數(shù)學(xué)家保羅?科恩（Paul Cohen）進(jìn)一步證明，選擇公理與ZF其余公理相互獨立。也就是說，僅依靠ZF基礎(chǔ)規(guī)則，既不能證明選擇公理成立，也無法推翻它。

當(dāng)邏輯無法判定一條公理的真?zhèn)螘r，評判標(biāo)準(zhǔn)便轉(zhuǎn)向?qū)嵱眯浴＿x擇公理的價值毋庸置疑，它為無窮數(shù)學(xué)、高階分析等大量研究領(lǐng)域提供了必要支撐 （參閱小樂數(shù)學(xué)科普：），沒有它，諸多核心數(shù)學(xué)結(jié)論都無法成立。巴加里亞評價，舍棄選擇公理，數(shù)學(xué)研究的工具會極度匱乏，如同束手前行。正因如此，代表選擇公理的字母C被加入體系名稱，ZFC正式確立，成為全球通用的標(biāo)準(zhǔn)數(shù)學(xué)基礎(chǔ)。

選擇公理的爭議，打破了世人對于公理的固有認(rèn)知：公理并非天然直觀、絕對自明。一條公理能否被廣泛接納，更多取決于實用價值、理論包容性與科研推動作用，能否衍生出豐富且有價值的數(shù)學(xué)結(jié)論，成為重要評判標(biāo)準(zhǔn)。

長久以來，ZFC公理被視作人類認(rèn)知中最穩(wěn)定、最通用的底層真理。物理規(guī)律可以設(shè)想被顛覆的可能，但數(shù)學(xué)規(guī)則似乎永恒不變。

這是一道特殊的矛盾：數(shù)學(xué)的根基，既是人類文明中最穩(wěn)固普世的知識基石，支撐起全部數(shù)理體系；但歸根結(jié)底，這套核心規(guī)則，只是人類共同選擇接納的思想約定。

參考資料

https://www.quantamagazine.org/why-maths-final-axiom-proved-so-controversial-20260429/

https://www.quantamagazine.org/what-can-we-gain-by-losing-infinity-20260429/

小樂數(shù)學(xué)科普近期文章

·開放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見易得

易傳易及

歡迎評論、點贊、在看、在聽

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點擊底部一起捐

助力騰訊公益

點擊zzllrr小樂

公眾號主頁

右上角

置頂★加星

數(shù)學(xué)科普不迷路！