数学中的公理化方法上.PDFVIP

數學中的公理化方法 (上) 吳開朗 數學公理化的目的, 就是把一門數學表 響的公理系統, 是歐幾里得 (Euclid, 約公元 述為一個演繹系統。 這個系統的出發點, 則 前 330 — 公元前 275) 所建立的初等幾何公 是一 基本概念和若干條基本命題, 基本概 理系統。 這個公理系統乃是他的世界名著 《原 念必須是對數學實體的高度純化和抽象, 基 本》[1] 的理論基礎。 然而, 遠在歐幾里得之前, 本命題則是對基本概念相互關係的制約和規 在古代巴比倫人、 埃及人和希臘人那裡, 就已 定。 陳述公理化方法的推理基礎, 在古典學 產生了公理化思想的萌芽。 公元前六世紀時 中多數都是採用 自然語言來規定基本概念的 期, 希臘數學的鼻祖泰勒斯 (Thales, 約公元 定義, 或加入一些特定的符號, 這種語言類 前 624 – 公元前 547) 就把邏