2.2 比例論與邏輯工具#

前四世紀的兩項突破為《幾何原本》鋪平了道路。一是歐多克索斯的比例論，解決了不可公度量帶來的危機。發現正方形對角線與邊長不可公度之後，畢達哥拉斯以整數比理解世界的理想崩塌。歐多克索斯以巧妙的定義重建比例理論，使幾何量 without 依賴數值也能比較大小。

二是亞里斯多德的形式邏輯。三段論、定義規則與公理觀念，提供了組織知識的語言。他區分了定義、公設與公理，指出任何科學都須從不證自明的起點出發，再以演繹推出結論。這幾乎就是《幾何原本》體例的哲學藍圖。

上式即歐多克索斯定義的現代轉寫，其嚴格性直到十九世紀才被充分賞識。

因果分析#

危機是因，工具創新是果，體系化是更遠的果。不可公度量的發現動搖了舊基礎，迫使學者發明更一般的比例語言；而邏輯學的成熟則提供了安放這些成果的框架。沒有比例論，原本第五卷無法成立；沒有公理觀念，全書的演繹結構無從談起。歐幾里德的貢獻正在於把這兩套工具同時用上，使前人的補救性發明變成新體系的基石。