面對任何公理清單你必須問的三個問題
在上一篇你看到 希爾伯特公理 如何補上歐幾里得留下的每一道裂縫——缺失的介於關係、未言明的「那兩個圓真的會相交」、以及對圖形的無聲訴求。但一份整潔的規則清單，並不會自動就是一份好的規則清單。在我們信任它之前，有三個問題值得誠實的回答，而它們彼此之間出奇地不同。
第一：這些公理會不會悄悄地彼此矛盾？若一個公理系統絕不可能從中推導出某個命題與它的否定，它就是一致的。不一致的系統是最糟的災難，因為從一個矛盾你能證出任何事情——每一條定理連同它的反面，全都同時成立——於是整座建築什麼也沒說。這個性質叫做 一致性，它沒有任何商量餘地。
第二：每一條公理真的有在出力嗎？若某條公理無法由其他公理推導出來——即拿掉它就真的會損失資訊——它就是獨立的。最著名的候選人當然是 平行公設：兩千年來人們懷疑它是一條偽裝過的隱藏定理，暗地裡可由其餘公理證出。證明它真正 獨立，正是整場大戲。第三，也是支撐前兩者的：到底有沒有任何一個世界，讓每一條公理都成立？那個世界就是模型，而我們將看到，它正是裁決前兩個問題的那一件工具。
模型：給未定義的詞一個家
回想最初那一階：「點」、「線」、「面」是未定義的詞——公理只描述它們如何運作，從不說它們是什麼。 模型 認真看待這份自由。它挑出一些具體的對象來扮演每個未定義詞的角色，然後逐一檢查在這套詮釋下，每一條公理是否都成立。若成立，這個模型就是一個活生生的見證：這些公理能夠同時兼容地成立。
這裡有一個最小、最具體的例子。先忘掉幾何學慣常的圖形，用三個我們稱為 A、B、C 的對象造一個微小的有限世界。規定「點」恰好就是 A、B、C，而「線」就是三個成對的集合 {A,B}、{A,C}、{B,C}。現在讀一讀 關聯公理——「過任意兩點恰有一條線」、「每條線至少有兩點」、「存在不全在同一條線上的三點」——再用這張小表逐一手動檢查。
points : A, B, C
lines : {A,B} {A,C} {B,C}
through A and B -> exactly {A,B} OK
through A and C -> exactly {A,C} OK
through B and C -> exactly {B,C} OK
each line has 2 points OK
A, B, C not all on one line OK每一條關聯公理都通過了，所以這個由三個點組成的三角形是一套完全合法的幾何。這個微小的成功帶著巨大的份量：因為模型存在，關聯公理就不可能暗中彼此矛盾。這正是整門學問的引擎——模型證明一致性。你不必抽象地論證矛盾永遠不會出現；你只要展示出一個世界，其中所有公理顯然同時為真，而在同一個世界裡，一個真命題與它的否定永遠不可能同時為真。
相對一致性：站在算術之上
三點模型小到你能用眼睛驗證。完整的歐幾里得幾何有無窮多個點，我們無法把它們全攤在桌上。經典的作法改用數來造模型：讓一個「點」是一組有序的實數對 (x, y)，讓一條「線」是某方程式 a x + b y = c 的解集，再用畢氏關係給出的熟悉的 |AB| 來定義距離。接著便能逐條檢查，希爾伯特公理的每一條都化為一個關於實數的真命題。
這誠實可靠，但附帶一個值得明說的但書。座標模型並未在某種絕對、無條件的意義下證明幾何是一致的——那種證明從系統內部其實無法達成。它證明的是相對一致性：若實數的算術沒有矛盾，則歐幾里得幾何也沒有矛盾。我們並沒有消除一切懷疑；我們是把幾何的可信度，轉嫁到我們對數本就抱持的、更為基本的信任之上。現代基礎論正是這樣運作的，假裝並非如此，便是我們承諾過絕不說出的那種謊言。
獨立性：更動一條公理，造出兩個世界
模型身兼兩職：證明一致性的那同一個想法，也能證明獨立性。要證明公理 P 獨立於其餘公理，你不必沒完沒了地去找一個缺失的證明。你改為造出兩個模型。在其中一個裡，所有其他公理都成立且 P 成立。在另一個裡，所有其他公理依然成立，但 P 不成立。若兩個世界都合法，那麼其餘公理就無法朝任一方向強制 P——於是 P 確實帶來了新資訊，配得上清單裡的一席之地。
現在把這套作法用在那個首獎標本上。剝掉平行公理，只保留剩下的部分；那個共同核心就是 中性幾何，也就是下一篇的主題。至於公理 P，就取普萊費爾公理——「過直線外一點恰有一條平行線」。一般的座標平面便是一個模型，其中中性幾何成立、普萊費爾也成立：恰有一條平行線，正如你一向所料。問題在於：是否存在第二個同樣合法的模型，其中中性幾何依舊成立，但普萊費爾不成立？
它確實存在。 龐加萊圓盤模型 重新詮釋了這些詞：一個「點」是某個固定圓內部的點，而一條「線」是與邊界正交相交的圓弧。在那個圓盤裡，所有中性公理依然成立——但過給定直線外一點，你能畫出無窮多條互不相交的「線」。普萊費爾戲劇性地失效了。這就是雙曲幾何的世界，而它的存在本身，終於證明了平行公設是獨立的：它絕不可能一直都是一條定理，否則這樣的模型便無法存在。
範疇性：一種形狀，還是許多種？
最後一個問題使這幅圖完整。我們看到，光是關聯公理就能被一個三點三角形所滿足——但也能被無窮的座標平面、以及各種大小的無數其他世界所滿足。一個容許形狀大相逕庭的模型的公理系統是弱的：它釘下的東西很少。當一個公理系統實際上只有一個模型——任兩個滿足它的世界在結構上完全相同、彼此不過是重新貼標籤——它就是範疇的。這個性質叫做 範疇性。
這裡有個關鍵的對照。完整的一套希爾伯特公理，連同它的連續性假設，是範疇的：每個模型都是偽裝後的普通平面，因此「歐幾里得幾何」真的指稱單一一種形狀。但中性幾何——希爾伯特減去平行公理——不是範疇的，而這正是重點所在。平坦的座標平面與彎曲的雙曲圓盤都是它的模型，兩者卻是截然不同的世界。這份非範疇性，恰恰就是平行公設得以做出選擇的那塊空間。
因此非歐幾何的發現並未打破歐幾里得，說它打破了是一則迷思。它揭示了中性核心對平行一事保持沉默，留下了一個真實的岔路口。加上「恰有一條平行線」，你走進歐幾里得平面；加上「有許多條平行線」，你走進雙曲圓盤；每一個都忠於自己的公理，每一個都有誠實的模型撐腰。一致性、獨立性與範疇性，正是讓你把這個岔路看清楚的三面透鏡——並睜著眼睛做出選擇。