從裂縫到藥方
在上一篇，我們當場逮到歐幾里得。他的第一個證明，靠著兩圓相交來作出等邊三角形——卻悄悄假設兩圓「會相交」，儘管沒有任何公設保證這件事。在別處，他把一點滑到另兩點「之間」，彷彿「介於」早已被定義；他還拿起一個三角形疊到另一個上去比較，而這個搬動沒有任何公理授權。這些漏洞都不會讓他的結論變錯；它們讓他的理由不完整。修補之道不是把歐幾里得丟掉，而是重砌地基，讓每一個這樣的步驟都有一條明確的規則撐著。
這場重砌出自大衛·希爾伯特，來自他 1899 年的著作《幾何基礎》(Grundlagen der Geometrie)。他的目標是冷峻的誠實：把每一條假設都寫下來，什麼都不藏，不讓任何圖去做一句話尚未掙得的工作。成果，就是現代「公理化方法應有的樣貌」的範本。這套系統如今稱為希爾伯特公設，它把一切整理成五個家族：接合、次序、全等、連續與平行。本篇接下來就一族一族地走過這五者。
接合與次序：誰在誰之上，誰夾在中間
第一個家族，接合公設，釘住了「點位於線與面之上」這個最赤裸的關係。其中兩條你在精神上早已熟悉：任兩相異點恰位於一條直線上；每條直線上至少有兩點。第三條則悄悄禁止一個退化的世界，它要求至少有三點不全落在同一直線上——少了它，「幾何」可能塌縮成一條直線，再也不會發生任何有趣的事。這些公設對距離或角度隻字不提；它們純粹是「哪些東西碰到哪些東西」。
第二個家族固定「次序」——也就是一點「介於」另兩點之間的關係，歐幾里得自由使用它卻從不定義。希爾伯特的次序公設讓介於關係守規矩：若 B 介於 A 與 C 之間，則 B 也介於 C 與 A 之間；直線上任三點中，恰有一點介於另兩點之間；而直線總能越過端點延伸。這裡的王冠寶石是帕施公理：若一條直線從某邊進入一個三角形，它必從另兩邊之一離開。這聽起來可笑地顯然，而這正是歐幾里得從沒把它寫下來的原因——也正是他眾多證明暗中倚賴它的原因。
為什麼帕施公理如此關鍵？因為它讓你能嚴謹地談論一個圖形的內部與外部。一旦穿過三角形的直線必須由第二邊離開，平面就被任一條直線乾淨地切成兩側各一個半平面，而「這個點在三角形內部」也不再是看圖的猜測，而成了一個可證明的事實。次序公設，正是一張平坦的平面如何掙得它對「內、外、之間」之感的方式。
不必把三角形拿起來的全等
歐幾里得最迷人的作弊是「疊合」——他靠想像把一個三角形抬起、放到另一個上，來證明兩者全等。但讓圖形在空間中滑動是一種「搬動」，而他沒有任何公設保證剛體運動存在、或保證它保形。希爾伯特徹底拒絕這個把戲。取而代之，他的全等公設把「全等」當成線段之間、以及角之間的一個原始關係，由規則來管轄——你從不搬動任何東西；你只是比較。
這些規則正是你會盼望的那些。在從某點出發的任一條射線上，你能以恰好一種方式截出一段與給定線段全等的線段（這就是圓規的行為，被公理化了）。線段全等還可相加：若 AB 全等於 A'B'、BC 全等於 B'C'，且 B 介於 A 與 C 之間，則 AC 全等於 A'C'。角也有一組對應的公設。接著登場的是那條承重的：若一三角形的兩邊及其夾角與另一三角形的對應者全等，則兩三角形全等。你會認得它——這就是邊角邊。在歐幾里得那裡它是一條（有瑕疵的）定理；在希爾伯特這裡它被當作公設，因為疊合再也不准拿來證它。
連續性：把直線填到一個縫都不剩
現在我們回到最初那道裂縫：歐幾里得作三角形時，那兩個圓究竟為什麼會相交？答案是連續性——直線與平面必須沒有任何空洞，好讓那個交點有地方安身。希爾伯特用兩條協同運作的公設來處理。第一條是阿基米德公理：給定任兩段線段，你可以把較短者一段接一段地疊放，直到超過較長者。沒有哪段線段相對於另一段是無限長的；也沒有任何「無窮小」的長度躲在角落。
光有阿基米德公理還不夠——它排除了過大或過小的長度，卻仍容許一條布滿針孔縫隙的直線，像有理數那樣，讓一個交點從未被造出來、得以從縫中溜走。第二條公設封住每一道縫：希爾伯特的完備性公設，是戴德金完備性的幾何孿生。非正式地說，若你把一條直線切成「左」「右」兩部分，使每個左點都在每個右點之前，那麼接縫處恰有一點。有了它，直線上的點便與實數完美對應，而兩個本應相交的圓也就真的相交了。
no continuity: o---o---o---o---?---o---o (the crossing point
^ could fall in a GAP)
Archimedean: no length is infinitely larger or smaller
completeness: every "cut" of the line has exactly one seam point
together ==> points on a line <--> the real numbers, gap-free
so two circles that should meet, DO meet.平行——以及這一族為何卓然獨立
第五個、也是最後一個家族，只有一名成員，希爾伯特以源自約翰·普萊費爾的乾淨現代形式陳述它：過一條給定直線外一點，恰有一條直線與它平行。這條普萊費爾公設在邏輯上與歐幾里得糾結的第五公設等價，卻遠遠更好推理。希爾伯特刻意把它隔離成自己的一族，與其他四族分開放置，而這個擺放方式，正是接下來三篇指南的整個故事。
這裡有個深刻的重點，誠實地說出來。前四族——接合、次序、全等、連續——對平行完全不作任何承諾。只用這四族能證出的一切，屬於所謂的中性幾何，是歐氏世界與非歐世界共享的公共地帶。平行公設，是你可以這樣或那樣撥動的那唯一一個旋鈕。撥到「恰有一條平行線」，你便還原出尋常的歐氏幾何；撥到「不只一條平行線」，一套不同卻同樣自洽的幾何便就此展開。這是一個自由的選擇、而非被迫的真理——這正是我們先前暗示的那份解放，而我們會在兩篇之後好好地循它而行。
一句叮嚀，好讓我們保持誠實。要求更多公設並非免費：你假設得越多，就越冒著假設到某件錯誤之事的風險——一個隱藏的矛盾，會讓整套系統一文不值。於是一個自然的憂慮浮現。我們怎麼知道這五族永不暗中彼此牴觸？又怎麼知道平行公設真的是一個獨立的旋鈕，而不是暗中被其他四族所逼定？這些正是「一致性」與「獨立性」的問題，而回答它們，就是緊接著下一篇指南的任務。
希爾伯特究竟替我們買到了什麼
退後一步，看看這項成就的形狀。希爾伯特並沒有發現新的三角形，也沒有證出關於圓的某條令人驚訝的新定理。他做的是更安靜、也更有力的事：他讓幾何的規則變得完整而明確，使得每個證明的每一行，首度都能對照一條寫下來的公設來檢驗，而不是對照一張具說服力的圖。歐幾里得的結果完好無損——改變的是，它們如今立在一塊你能逐項稽核的地基上。
把這五族當作一張檢核表放進口袋：接合（誰碰到誰）、次序（帕施與介於關係）、全等（不靠搬動的比較）、連續（阿基米德加完備性，那條沒有縫的直線），以及平行（那唯一一個自由的旋鈕）。它們合在一起，是你在基礎那一級認識的公理化方法一份精確、無縫的讀法。有了它們在手，接下來的問題幾乎自己就問了出來——這些公設一致嗎、獨立嗎、轉動最後那個旋鈕又會怎樣——而本級其餘各篇，會依序一一作答。