歐幾里得《幾何原本》（Euclid's Elements）
/ YOO-klid /
約公元前 300 年於亞歷山卓，歐幾里得把當代的幾何與數論知識匯集為十三卷，編排成單一條演繹鏈。由少數定義、五條公設與幾條共同概念出發，他依嚴格次序證出 465 個命題，每一個都只倚賴在它之前者。《幾何原本》是有史以來最具影響力的教科書，也是公理化方法的奠基文獻：它教會世人，數學真理是靠證明掙來的，而非靠權威或度量。
它的架構就是教訓。第一卷由公設一路建到三角形全等、平行與畢氏定理；後續各卷處理比例（第五卷的比理論，精微得令人驚嘆）、數論（第七至九卷，含質數無窮多）、不可公度量（第十卷），以及以五種柏拉圖立體作結的立體幾何（第十三卷）。推理壓倒性地是演繹的：陳述一個命題，再由先前結果與公設證出它。兩千年來，「做幾何」就只是依《幾何原本》的方式工作，「嚴謹」就意指歐氏的嚴謹。
對它的極限誠實以對是必要的，因為這份誠實正是本領域的全部故事。《幾何原本》就其時代而言嚴謹，卻含真正的邏輯缺口：歐幾里得默默假設兩個畫來相交的圓真的會交（連續性缺口）、一條進入三角形的線會離開它（缺失的帕施公理），他還從圖上讀出公設並未證成的事實（介於與順序）。這些不是計算錯誤，而是未明說的假設——正是希爾伯特於 1899 年補上的那些缺口。承認它們並不貶低歐幾里得；它恰恰顯示現代嚴謹標準升得多高，又是對著何等宏偉的原作而升起。
命題 I.1 在線段 AB 上作出等邊三角形：以 A 為心過 B 畫圓，再以 B 為心過 A 畫圓，然後把兩圓交點與兩端相連。它優雅且精神上正確——但證明假設了兩圓相交，而沒有公設供應這個事實。那單一沉默的步驟，是兩千年基礎論工作的種子。
演繹幾何的奠基文本——宏偉，且帶著希爾伯特後來補上的那些缺口。
別把《幾何原本》當成完美無瑕，也別當成「原始粗糙」。它就其時代而言嚴謹，卻在連續性、介於與用圖上有真實、可指認的缺口——正是這些缺口激發了希爾伯特與整個基礎論研究。