公理

在傳統邏輯中，公理事實的起點。當不斷要求證明時，因果關係畢竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b=b+a」。不同的系統，會預計不同的公理。例如非歐幾何的公理，和歐氏幾何的公理就有一點不同；另外，集合論的選擇公理在許多系統的建構中，也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時，刻意排除掉皮亞諾公理中的數學歸納法，以確保所有的證明，都可以直接演算。在數學中，公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義之下，公理都是用來推導其他命題的起點。和定理不同，一個公理不能被其他公理推匯出來，否則它就不是起點本身，而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。邏輯公理通常是被視為普遍為真的陳述推匯出來。一般來說都有多種方法來公理化一個給定的數學領域。然而，邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構，都建立在略有差異的公理上。因此，與其把公理看作不證自明的事實，不如看作是在一個特定的數學或邏輯系統中，先於一切證明的前設。歷史發展.古希臘.經由可靠的論證則都必須藉助這些基本假設才能被證明。然而，對數學知識的解釋從古至今已不太一樣，且最終「公理」這一詞對今日的數學家眼中和在亞里斯多德和歐幾裡得眼中的意思也有了些許的不同。古希臘人認為幾何學也是數種科學的其中之一，且視幾何學的定理和科學事實有同等地位。他們發展並使用邏輯演繹方法來作為避免錯誤的方法，並以此來建構及傳遞知識。亞里斯多德的後分析篇是對此傳統觀點的一決定性的闡述。「公理」，以傳統的術語來說，是指在許多科學分支中所共有的一個不證自明的假設。在各種科學領域的基礎中，或許會有某些未經證明而被接受的附加假定，此類假定稱為「公設」。公理是許多科學分支所共有的，而各個科學分支中的公設則是不同的。公設的有效性必須建立在現實世界的經驗上。確實，亞里斯多德曾言，若讀者懷疑公設的真實性，這門科學之內容便無法成功傳遞。傳統的做法在《幾何原本》中很好地描繪了出來，其中給定一些公設。;公設# 能從任一點畫一條直線到另外任一點上去。# 能在一條直線上造出一條連續的有限長線段。# 能以圓心和半徑來描述一個圓。# 每個直角都會相互等值。# 若一條直線與兩條直線相交，在某一側的內角和小於兩個直角，那麼這兩條直線在各自不斷地延伸後，會在內角和小於兩直角的一側相交。;公理# 等同於相同事物的事物會相互等同# 若等同物加上等同物，則整體會相等。# 若等同物減去等同物，則其差會相等。# 相互重合的事物會相互等同。# 整體大於部分。近代的發展.近150年來，數學家所學到的是，將意思從數學陳述使得數學知識變得更一般化，容許多重不同的意思，且因此可以用在多重的方面上。結構主義的數學走得更遠，並發展出沒有「任一」特定應用的理論和公理。「公理」和「公設」之間的差異消失了。歐幾裡得公設因為可以匯出大量的幾何事實而被創造出來。這些複雜事實的真實性依賴於對基本假定的承認。然而，若捨棄第五公設，則可以得到有更多內容的理論，如雙曲幾何。我們只需要準備以更彈性的方式來使用「線」和「平行」等術語。雙曲幾何的發展教導了數學家們公設應該被視為單純的形式陳述，而不是基於經驗的事實。當數學家使用體的公理時，其含義甚至變得更加地抽象了。體論的命題沒有關注於任一特定的應用上；數學家現在於完全的抽象化上工作著。體有許多的例子；而體論可以給出對所有這些例子適用的正確知識。說體論的公理是「被視為不證自明的命題」是不正確的。實際上，體的公理是一套侷限。若任一給定的加法與乘法系統符合此些侷限，則我們對此係統立即可以得到許多額外的資訊。現代數學家也對數學基礎作了相當程度的形式化，從而使得數學理論可以被視為數學物件，且邏輯本身亦能被視為是數學的一個分支。戈特洛布·弗雷格、伯特蘭·羅素、龐加萊、大衛·希爾伯特和庫爾特·哥德爾是此發展中的幾位關鍵角色。在現今的理解裡，一套公理是任何一群形式陳述的斷言，而透過應用某些定義良好的規則，可由這些公理推匯出其他形式陳述的斷言。在此觀點下，邏輯只是變成了另一個形式系統。一套公理應該是相容的，即應該不可能由此公理中匯出矛盾來。一套公理亦應該是非冗餘的，即一個可以由其他公理導出的斷言不應被視為是一個公理。近代的邏輯學家最初希望數學的不同分支，最好是所有的數學，都可以被一套相容的基本公理中推匯出來。數學形式主義的一個早期成功的例子為希爾伯特對歐幾裡得幾何的公理化，以及相關地，對此些公理相容性的確定。在更廣的方面來看，還有人企圖將所有數學放在康託爾的集合論之下。不過，羅素悖論的出現和樸素集合論中相似的矛盾，指出任何此類的形式系統最終都有可能是不相容的。此計畫遭受到的決定性挫敗是在1931年，哥德爾證明出只要一個相容的形式系統能夠蘊涵皮亞諾公理，就可以在系統內建構出一個其真實性和此套公理獨立的陳述。作為一個推論，哥德爾證明出一個如皮亞諾算術的理論，其相容性在理論本身之內會是一個不可證的斷言。相信皮亞諾算術的相容性是合理的，因為它被自然數的系統所滿足－一個無限但在直覺上易被接受的形式系統。然而，直到現在，依然沒有已知的方法判定集合論中策梅羅-弗蘭克爾公理的相容性。選擇公理－此理論的關鍵假定，也依然是一個極具爭議的假設。更甚之，利用力迫法的技巧，可以證明連續統假設獨立於策梅羅-弗蘭克爾公理之外。因此，即使是這種極一般的公理也還不能被視為是數學的決定性基礎。數理邏輯.在數理邏輯裡，公理可以清楚地被區別成兩種：邏輯公理和非邏輯公理。邏輯公理.在一個語言中存在著某些普遍有效的公式，亦即被每個變數賦值函式的每個結構所滿足的公式。口語上來說，是存在著在任一可能的論域、可能的解釋和賦值上都是「正確」的陳述。通常將邏輯公理視為能充分證明所有此語言中重言式的一套「最小」的重言式；在謂詞邏輯中有更多的邏輯公理是需要的，為了證明那些在嚴格意義上不是重言式的邏輯事實。例子.命題邏輯.在命題邏輯裡，一般將邏輯公理視為所有如下形式的公式，其中的formula_1、formula_2和formula_3可以是語言中的任何公式，且包含的邏輯運算子只有邏輯非formula_4和蘊涵formula_5兩種：上面的每個形式都是一個「公理模式」，是用來產生無限多公理的規則。例如，若"A"、"B"和"C"是命題變數，則formula_9和formula_10都會是公理模式1.的例子，因此都會是公理。可以證明只要有這三個公理模式和「肯定前件」，即可證明出所有命題演算中的重言式。也可證明只以其中的一對模式是無法和「肯定前件」一起充分證明出所有的重言式的。其他包含著相同或不同邏輯運算子的公理模式也可以另行建構出來。這些公理模式也被使用於謂詞邏輯裡，但需要附加上其他邏輯公理，藉以討論包含了量詞的命題。一階邏輯.等於公理 令formula_11為一階語言。對每個變數formula_12而言，公式formula_13，是普遍有效的。這表示，對於任一變數formula_12，公式formula_15可被視為是一個公理。而且，在這例子裡，為了不落入含糊不清及一連串永不終止的「原始概念」之中，要不就是將formula_15的精確概念給先建立完全，要不就是得規範符號formula_17純形式及語法的用法，只視之為一個字串，且只是由符號組成的字串。數理邏輯確實就是這麼做的。全稱例化公理模式 給定一在一階語言formula_11中的公式formula_19、一變數formula_12和一項formula_21，公式formula_22是普遍有效的。其中formula_23代表以項formula_21來代換formula_19中的formula_12後所得到的公式。較不嚴謹地，這個例子允許我們如此陳述，若知道一特定性質formula_27對每個formula_12皆成立，且formula_21代表著此結構內的一特定物件，則應可主張formula_30是對的。存在推廣公理模式 給定一在一階語言formula_11中的公式formula_19、一變數formula_12和一項formula_21，公式formula_35是普遍有效的。非邏輯公理.非邏輯公理是在特定理論中充當基本假設的一種公式。兩個不同的結構如自然數和整數的推理可能涉及相同的邏輯公理；非邏輯公理則試圖汲取對特定結構來講是特殊的地方。因此，非邏輯公理，不像邏輯公理，並不是「重言式」。非邏輯公理的別稱為「公設」。幾乎每個現今的數學定律都是起始於一套給定的非邏輯公理，且曾被認為在原則上，每個理論都可以如此公理化，並且公式化成純粹邏輯公式的語言。但這已被證明是不可能的了；然而，最近此一做法又以新邏輯主義的形式復活了起來。非邏輯公理通常在數學論述中被簡稱為「公理」。這並不表示它們在某種絕對的意思上是正確的。例如，在一些群裡，群運算是可交換的，且這可以在加入加法公理下斷言，但去掉此公理就可以很好地發展群論，且甚至可以拿此公理的否定來做非可換群的研究。因此，公理和定義了演繹系統的推理規則一起構成了形式邏輯系統的基礎。例子.此節會給出一些完全由一套非邏輯公理發展出來的數學定律。任何對此些題目的嚴謹處理都起始於對公理的詳述。基本理論如算術、實分析和複變分析通常都是由非公理化的方式開始介紹，但通常直接或間接地都會使用到具選擇公理的策梅羅-弗蘭克爾集合論的公理，或是一些極相似的公理化集合論，例如NBG。後者是ZFC集合論的保守擴充套件，在集合方面與ZFC具有相同的定理，因此兩者有緊密的聯絡。有時，稍強的理論如MK，或帶有允許使用格羅滕迪克全集的強不可達基數的集合論也會被使用，但實際上，大多數數學家都可以在弱於ZFC的系統中確實地證明他們所需要的命題，比如在二階算術中就可能做到這點。在數學中，拓撲學的研究擴充套件成點集拓撲、代數拓撲、微分拓撲，和所有相關領域，如同調論和同倫論。「抽象代數」也發展出群論、環、體和伽羅瓦理論。此列表可以擴充套件至包含大多數的數學領域，如公理化集合論、測度論、遍歷理論、機率論、表示理論和微分幾何等。算術.皮亞諾公理是一階算術最廣被使用的「公理化」。這套公理的強度足以證明許多數論中重要事實，以及允許哥德爾建立他著名的哥德爾不完備定理。設有一語言formula_36，其中，formula_37是一個常數符號且formula_38是一個一元函式且滿足如下公理：其標準結構為formula_44，其中formula_45為自然數的集合、formula_38為後繼函式，且formula_37自然被解釋為數0。歐幾裡得幾何.平面幾何中的4+1個公設大概是最古老且最有名的一組公理。這些公理被稱為「4+1」，因為近兩千年來，第五公設一直被懷疑可以從前4個公理中匯出。但最後，第五公設還是被證實是獨立於前4個公理。確實，可以假設透過一直線外一點會沒有平行線、恰好有一平行線，或有著無限多條平行線存在。這些選擇給出了不同形式的幾何，其三角形的內角和會分別為小於、等於或大於180度。這幾種幾何分別被稱為橢圓幾何、歐幾裡得幾何和雙曲幾何。實分析.其研究的物件為實數。實數可唯一由一「戴德金完備有序體」。然而，若要表達這些公理的性質，需要使用到二階邏輯。勒文海姆-斯科倫定理告訴我們若侷限於一階邏輯裡來描述，任何實數的公理系統都會允許有其他的模型，有些會小於實數，有些則會大於實數。後者有些被研究於非標準分析中。在數理邏輯中的角色.演繹系統和一致性.一致性的要求是最重要的。如果一公理系統，不會同時推導到命題「p」和「非p」，那麼它就稱為一致的系統。不一致的系統，會同時推匯出「p」和「非p」的矛盾結果，在數學推論上，是不能容許的。演繹系統和完備性.演繹系統包括有邏輯公理的集合formula_48、非邏輯公理的集合formula_49和「推理規則」的集合formula_50。演繹系統的一個理想的性質為完備性。一個系統被稱為是完備的，若對所有公式formula_1，若formula_52，則formula_53亦即，對任一為formula_49「邏輯結果」的陳述，皆存在一個從formula_49的陳述出發的「演繹」。這有時被表達為「所有真的陳述都是可證的」，但必須瞭解這裡的「真」意指「公理集合致使其為真」，而不是「在某一特定解釋下為真」。哥德爾完備性定理表明了某個常用類別的演繹系統的完備性。注意「完備性」在哥德爾不完備定理中會有著不同的意思，其表示在算術理論中沒有一套「遞迴」且「一致」的非邏輯公理formula_49會是「完備」的，亦即總是存在一個算術陳述formula_19，其formula_19和formula_59都不能由給定的公理中證出。這裡，一邊是指「演繹系統的完備性」，一邊則是指「一套非邏輯公理的完備性」。因此，完備性定理和不完備性定理，除了其名稱之外，並不相互衝突。更多的探討.早期的數學家視公理化幾何為物理空間的模型，且明顯地只能有此一模型。另一種數學系統可能存在的想法，對19世紀的數學家而言是極度困擾的，並費盡苦心地想要將這些系統從傳統算術中推匯出來。伽羅瓦證明這些努力大多都是白費的。最後，這些在代數系統中相互平行的抽象系統看起來似乎有其重要性，而現代代數也由此誕生了。以現在的觀點來看，任意的公式集合都可以作為公理，只要這些公式並未被發現為不一致的便可。