数学中的公理化方法（下）.PDFVIP

數學中的公理化方法(下) 吳開朗 四、 數學公理系統的美學標準 與某一已知的 (舊) 數學理論的相容性 (相對 一致性), 可以設法為它在古典數學中構造一 美國數學家 F. S. 梅里特在其所著 《工 個模型, 並且進而證明這個新數學理論的公 程中的現代數學方法》 一書中曾經說過: “每 理系統在該模型中都能夠得以實現, 這樣, 即 一模型都是由一 公理定義的, · · · 公理 自身 必須無矛盾且相互獨立”[11]。 所謂一 公理 , 可以把這個新理論的相容性, 化歸為新理論 即是一個公理系統。 關於公理系統的無矛盾 與建造它的模型 (新理論的模型) 時所需要 性, 是指借助於演算不可能在一個公理系統 的古典數學理論的相容性 (相對一致性)。 因 中推出兩個相互否定的命題。 關於公理系統 此, 這種模型法, 又可稱之為化歸法。 例如, 的獨立性, 是指在該系統中任何一條公理都 我們利用龐卡萊 (Poincar´e) 模型和球面模 不可能作為其餘各公理的邏輯推論。 如果一 型, 可以把非歐幾何的相容性, 化歸為歐氏幾 個公理系統具備無矛盾性 (即相容性) 和獨立 何的相容性, 再利用算術模型, 又可進一步把 性, 那麼, 這個公理系統 (或者說這個理論體 歐氏幾何的相容性, 化歸為算術理論的相容 系) 就是優美的。 因此, 相容性和獨立性也就 性。[13] 然而, 對於一個新理論而言, 並不需要 是公理系統的美學標準。 如此逐步化歸, 一般地說, 只要是在古典數學 獨聯體維林金等編著的 《中學數學現代 中, 能夠為其構造一個數學模型已足, 因為古 基礎》 一書中曾指出: “可以由給定的公理系 典數學已經過億萬群眾長期的科學實踐檢驗。 統導出的全部不同的命題, 一般說來有無窮 維林金在 《中學數學現代基礎》 一書中 多個。 因此, 為了證明給定的公理系統的相容 指出: “利用模型法也可以解決所給公理系統 性, 要想由這一公理系統作出全部可能的推 的獨立性問題。 如果理論 T 中的公理 A, 由 論, 並且指出其中沒有相互矛盾的命題, 這是 其它公理既不能證明, 也不能否定, 則稱公 不可能的。 為了解決這個難題, 曾經創造一種 理 A 是與其它公理相獨立的。 要證明所給公 特殊的方法, 它的名稱叫做模型法”。[12] 所謂 理 A 的獨立性, 應該建立一個新的公理系 模型法, 即是欲證明某一新數學理論的無矛 統, 在其中將公理 A 換成它的否定, 而T 中其 盾性 (一致性), 或者欲證明某一新數學理論 它公理則保持不變。 如果所給的公理系統以 1 2 數學傳播 十七卷二期 民 82 年 6 月 及用上述方法由它所得到的新公理系統都是 一條直線通過 A, 但不和 a 相交。}, 此為黎 相容的, 那麼, 則稱公理A與該理論體系T 中 氏幾何的平行公理。 的其它公理是相獨立的”。[14] 假設 Σ 為一個