數學史上最受信賴的一本書
你已經見過公理化方法，也見過歐幾里得的起始詞——點、線、面，刻意留作未定義。約成書於西元前 300 年的《幾何原本》，是這套方法的第一個偉大範例：一份簡短的定義表、五條公設、幾條公理（common notion），然後由它們出發，循著嚴謹的次序，一個接一個地證出數百條定理。兩千多年來，它就是「嚴謹論證該長什麼樣」的典範。學童與哲學家都把「像歐幾里得一樣確定」當作我們今天說「像算術一樣確定」那般。
然而——這正是整個階梯所環繞的驚奇——《幾何原本》其實並非滴水不漏。它的定理都是對的，每一條都對，這一點從未被懷疑。問題出在證明上。歐幾里得一次又一次地得出結論，靠的是一個他能在圖中清楚看見、卻從未列入公設的事實。推理倚靠著那張圖。一旦你抽掉圖，要求每一步都得從寫下的規則推出，缺口就出現了。我們把每一個這樣未列出、未證明、卻被暗中使用的事實，稱為隱藏假設。
第一個證明就已經漏了
這道裂縫出現在第一卷的命題一——歐幾里得的開場動作：在給定線段 AB 上作一個等邊三角形。作法很美：以 A 為圓心、|AB| 為半徑畫一個圓，再以 B 為圓心、|AB| 為半徑畫第二個圓，令 C 為兩圓相交之處的一點。於是因為 C 在第一個圓上，|CA| = |AB|；因為 C 在第二個圓上，|CB| = |AB|；所以三角形 ABC 三邊相等。乾淨、有說服力、正確。
現在問一個尷尬的問題：我們怎麼知道這兩個圓真的相交？我們看見它們相交——在圖上。但是哪一條公設保證交點 C 存在？翻遍歐幾里得的五條公設與他的公理，沒有一條提到圓相交這回事。交點的存在，是直接從圖中取來的。這本史上最嚴謹之書的第一個證明，就已經倚賴一個無處陳述的事實。這個特定的缺口關乎連續性——也就是一條曲線上沒有看不見的針孔，能讓另一條曲線從中穿過卻不相觸。
___ ___
/ \ / \
| C | <-- do the circles really cross here?
| A---|--|---B |
| | | |
\ ____ / C' \ __/ <-- and here?
circle(A,|AB|) circle(B,|AB|)
次序、介性，與線的哪一側
連續性只是缺失規則的第一個家族。第二個、且更為無所不在的家族，關乎次序：哪個點介於哪兩點之間，以及一個點落在一條線的哪一側。歐幾里得不斷使用「之間」一詞——「令 D 為 A 與 B 之間的一點」、「該線通過三角形的內部」——卻從未訂下任何一條管轄它的規則。介性被當作由眼睛供給的東西。但嚴謹的證明，恰恰應該是不靠眼睛也能成立的。
這個缺口最經典的示範，是一個惡名昭彰的偽證：每個三角形都是等腰三角形。藉著畫一條巧妙地擺錯位置的輔助線——把一個交點放進三角形內部，而誠實的次序規則本會逼它落在外部——這套論證透過一步步單看都沒問題的步驟，得出了一個荒謬的結論。整場騙局之所以成立，正是因為歐幾里得的系統沒有次序公理來逮住這個謊。這個偽證並不深奧；它是一塊被狠狠釘下的警示牌，提醒你「圖上看來顯然」與「已被證明」並不是同一回事。
補上最重要那個次序漏洞的規則有個名字：帕施公理（Pasch's axiom），由莫里茲・帕施於 1882 年提出。用白話說：若一條線越過三角形的一邊進入其中（且不通過頂點），那麼它必定恰好從另外兩邊之一離開。它不能在內部消失，也不能從某個頂點溜走。這聽起來顯然到可笑——而這正是重點。它顯然到歐幾里得從未察覺自己用了它，用了數十次，卻從未把它寫下。
走一遍某個隱藏假設
讓我們放慢腳步，看一個隱藏假設是怎麼藏起來的，就用命題一中兩圓相交這件事為例。誠實的問題不是「它們看起來相交嗎？」，而是「有任何已陳述的規則逼出一個交點存在嗎？」以下是逐步的稽核。
- 列出歐幾里得實際給自己的資源：五條公設、五條公理、他的定義。把它們寫在你看得見的地方。
- 走到證明中那一步——它把點 C 命名為「兩圓相交之處」。在那裡停下，並拒絕去看那張圖。
- 在資源清單裡搜尋任何一條說「這兩個圓共有一點」的規則。一條也找不到。公設只談畫圓，不談圓在何處相交。
- 斷定 C 的存在是從圖中引進的，而非推導出來的。那個被引進的事實，就是隱藏假設——在此，是一個關於連續性的假設。
- 替你需要加入、好讓這一步合法的那條缺失公理命名——一條連續性或完備性原理，保證一條從另一曲線的一側越到另一側的曲線必定與它相觸。
這五步稽核，就是整個階梯的工夫的縮影：列出你的資源、凍結一個可疑的步驟，然後檢查是否真有一條寫下的規則授權它。對《幾何原本》系統地做這件事，那些隱藏假設便會自行歸入少數幾個家族——接合（什麼落在什麼上）、次序（介性與哪一側）、全等（兩個圖形何時一樣大）、連續（沒有針孔），以及那個孤獨而著名的平行問題。
歐幾里得唯一知道的那道裂縫
有一道缺口，歐幾里得不是不小心掉進去的——而他對它的不安，是數學史上最誠實的時刻之一。他的第五公設，即平行公設，冗長、笨拙，遠不如其餘四條那樣不證自明。它大意是說：若兩條線被第三條線所截，且某一側的內角和小於兩個直角，則這兩條線必在該側某處相交。把這一大串話，拿來跟「任兩點之間可畫一條直線」相比。歐幾里得顯然嗅到了不對勁：他盡其所能地避免使用第五公設，在不用它的情況下證完了前 28 個命題。
在那之後的兩千年裡，數學家試圖從另外四條證出平行公設，深信這樣一個醜陋的命題不可能是真正的起始假設。每一次嘗試都失敗了——而最終對它為何非失敗不可的解釋，正是「幾何有選擇」這項發現，也是從這一階起一切的引擎。請抵抗那個誘人的迷思，別以為這「打破」了歐幾里得。它做的恰恰相反：它揭示了他的第五公設確實是獨立的，是道路上一個真正的岔口，而非偽裝成定理的東西。
為何找出裂縫是一場勝利
我們很容易把這一切讀成：歐幾里得在兩千年後被當場抓包。但這不是該帶走的感受。歐幾里得完成了一件幾乎史上無人能及的事：他寫下了一套足夠明確的系統，明確到幾個世紀後，人們得以近距離檢視、進而找出它的缺口。你無法稽核一團迷霧。《幾何原本》嚴謹到足以暴露自身的不完美——而這是一個人能給一件數學作品的最高讚美。
這項修補終於在 1899 年完成，當時大衛・希爾伯特發表了二十多條公理，把歐幾里得每一個隱藏假設都化為明文，並歸入乾淨的家族。手握希爾伯特公理，《幾何原本》的每一條定理都能在完全不訴諸任何圖的情況下重新證明——原則上，你可以在黑暗中做完整套平面幾何。那便是這一階的目的地，而下一篇導引將直接走進去。
所以請帶走三件事。第一，一條為真的定理，可以立在一個漏水的證明上；真與嚴謹，是兩種不同的美德。第二，歐幾里得的漏洞是誠實的漏洞——那些事實顯然到連天才都會不知不覺地用上。第三，五條公設中最不安分的那一條，也就是關於平行的那一條，結果並非瑕疵，而是一扇門：門後等著的，是這座階梯其餘部分將要探索的非歐幾何。