单元 2.《爷爷的证明题》、《几何原本》的公理结构.pptVIP

柏拉圖 vs. 亞里斯多德 柏拉圖：數學知識只能藉由論證來獲得。因此，幾何性質不該從圖形之中讀出，而一個恰當的證明應賦予每一個性質，亦即，一個不使用任何圖形的證明。 亞里斯多德：建構一個數學系統必需從底蘊在所有演繹思維的共有概念 (common notion) 出發。並且，最根本的，吾人也必需從設定了數學基本概念之存在性，或者陳述了基本概念之意義的特殊概念 (special notion) 出發。最後，其它的概念必需透過原始屬類 (genus proximum) 與區別屬性 (differentiae specification) 來定義，這些已定義概念的存在性，也必需被證明。我們將會發現歐幾里得正是依循著亞里斯多得的指示，來建構他的數學系統。 * 第 I 冊定義 1. 點是沒有部份的東西。 2. 線 (line) 只有長度而沒有寬度。 3. 線的末端是點。 4. 直線 (straight line) 是與它自己上面的點相平齊 (lies evenly) 的線。 5. 面是只有長度與寬度。 6. 面 (surface) 的邊緣是線。 7. 平面 (plane surface) 是與它上面的直線相平齊 (lies evenly) 的面。 * 8. 平面角是平面上相交並且不落在同一直線上的兩線，彼此之間的傾斜度。 9. 並且，若包含這個角的線是直線，此平面角稱為直線角。 10. 當