公理

在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係畢竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b=b+a」。
不同的系統，會預計不同的公理。例如非歐幾何的公理，和歐氏幾何的公理就有一點不同；另外，集合論的選擇公理在許多系統的建構中，也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時，刻意排除掉皮亞諾公理中的數學歸納法，以確保所有的證明，都可以直接演算。
在數學中，公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義之下，公理都是用來推導其他命題的起點。和定理不同，一個公理（除非有冗餘的）不能被其他公理推導出來，否則它就不是起點本身，而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。
邏輯公理通常是被視為普遍為真的陳述（如 (A ∧ B) → A），而非邏輯公理（如a + b = b + a）則實際上是在一特定數學理論（如算術）中的定義性的性質。在後者的意思之下，公理又可被稱為「公設」。一般而言，非邏輯公理並不是一個不證自明的事實，而應該說是在建構一個數學理論的過程中被用來推導的一個形式邏輯表示式。要公理化一個知識系統，就是要去證明該系統的主張都可以由數目不多而又可明確理解的陳述（公理）推導出來。一般來說都有多種方法來公理化一個給定的數學領域。
然而，邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構，都建立在略有差異的公理上。因此，與其把公理看作不證自明的事實，不如看作是在一個特定的數學或邏輯系統中，先於一切證明的前設。

近代的發展

近150年來，數學家所學到的是，將意思從數學陳述（公理、公設、命題、定理）和定義中抽離出去是很有用的。此一抽象化（或甚至可說是公式化）使得數學知識變得更一般化，容許多重不同的意思，且因此可以用在多重的方面上。
結構主義的數學走得更遠，並發展出沒有「任一」特定應用的理論和公理（如體論、群論、拓撲學、向量空間）。「公理」和「公設」之間的差異消失了。歐幾里得公設因為可以導出大量的幾何事實而被創造出來。這些複雜事實的真實性依賴於對基本假定的承認。然而，若捨棄第五公設，則可以得到有更多內容的理論，如雙曲幾何。我們只需要準備以更彈性的方式來使用「線」和「平行」等術語。雙曲幾何的發展教導了數學家們公設應該被視為單純的形式陳述，而不是基於經驗的事實。
當數學家使用體的公理時，其含義甚至變得更加地抽象了。體論的命題沒有關注於任一特定的應用上；數學家現在於完全的抽象化上工作著。體有許多的例子；而體論可以給出對所有這些例子適用的正確知識。
說體論的公理是「被視為不證自明的命題」是不正確的。實際上，體的公理是一套侷限。若任一給定的加法與乘法系統符合此些侷限，則我們對此系統立即可以得到許多額外的資訊。
現代數學家也對數學基礎作了相當程度的形式化，從而使得數學理論可以被視為數學物件，且邏輯本身亦能被視為是數學的一個分支。戈特洛布·弗雷格、伯特蘭·羅素、龐加萊、大衛·希爾伯特和庫爾特·哥德爾是此發展中的幾位關鍵角色。
在現今的理解裡，一套公理是任何一群形式陳述的斷言，而透過應用某些定義良好的規則，可由這些公理推導出其他形式陳述的斷言。在此觀點下，邏輯只是變成了另一個形式系統。一套公理應該是相容的，即應該不可能由此公理中導出矛盾來。一套公理亦應該是非冗餘的，即一個可以由其他公理導出的斷言不應被視為是一個公理。
近代的邏輯學家最初希望數學的不同分支，最好是所有的數學，都可以被一套相容的基本公理中推導出來。數學形式主義的一個早期成功的例子為希爾伯特對歐幾里得幾何的公式化，以及相關地，對此些公理相容性的確定。
在更廣的方面來看，還有人企圖將所有數學放在康托爾的集合論之下。不過，羅素悖論的出現和樸素集合論中相似的矛盾，指出任何此類的形式系統最終都有可能是不相容的。
此計畫遭受到的決定性挫敗是在1931年，哥德爾證明出只要一個相容的形式系統能夠蘊涵皮亞諾公理，就可以在系統內建構出一個其真實性和此套公理獨立的陳述。作為一個推論，哥德爾證明出一個如皮亞諾算術的理論，其相容性在理論本身之內會是一個不可證的斷言。
相信皮亞諾算術的相容性是合理的，因為它被自然數的系統所滿足－一個無限但在直覺上易被接受的形式系統。然而，直到現在，依然沒有已知的方法判定集合論中策梅羅-弗蘭克爾公理的相容性。選擇公理－此理論的關鍵假定，也依然是一個極具爭議的假設。更甚之，利用力迫法的技巧，可以證明連續統假設獨立於策梅羅-弗蘭克爾公理之外。因此，即使是這種極一般的公理也還不能被視為是數學的決定性基礎。

數理邏輯

在數理邏輯裡，公理可以清楚地被區別成兩種：邏輯公理和非邏輯公理（有些類似傳統上對「公理」和「公設」的區別）。

邏輯公理

在一個語言中存在著某些普遍有效的公式，亦即被每個變數賦值函數的每個結構所滿足的公式。口語上來說，是存在著在任一可能的論域、可能的解釋和賦值上都是「正確」的陳述。通常將邏輯公理視為能充分證明所有此語言中重言式的一套「最小」的重言式；在謂詞邏輯中有更多的邏輯公理是需要的，為了證明那些在嚴格意義上不是重言式的邏輯事實。

一階邏輯

等於公理   令為一階語言。對每個變數而言，公式
是普遍有效的。
這表示，對於任一變數，公式可被視為是一個公理。而且，在這例子裡，為了不落入含糊不清及一連串永不終止的「原始概念」之中，要不就是將的精確概念給先建立完全，要不就是得規範符號純形式及語法的用法，只視之為一個字串，且只是由符號組成的字串。數理邏輯確實就是這麼做的。
全稱例化公理模式 給定一在一階語言中的公式、一變數和一項，公式
是普遍有效的。
其中代表以項來代換中的後所得到的公式。較不嚴謹地，這個例子允許我們如此陳述，若知道一特定性質對每個皆成立，且代表著此結構內的一特定物件，則應可主張是對的。
存在推廣公理模式 給定一在一階語言中的公式、一變數和一項，公式
是普遍有效的。

非邏輯公理

非邏輯公理是在特定理論中充當基本假設的一種公式。兩個不同的結構如自然數和整數的推理可能涉及相同的邏輯公理；非邏輯公理則試圖汲取對特定結構（或一套結構，如群）來講是特殊的地方。因此，非邏輯公理，不像邏輯公理，並不是「重言式」。非邏輯公理的別稱為「公設」。
幾乎每個現今的數學定律都是起始於一套給定的非邏輯公理，且曾被認為在原則上，每個理論都可以如此公理化，並且公式化成純粹邏輯公式的語言。但這已被證明是不可能的了；然而，最近此一做法又以新邏輯主義的形式復活了起來。
非邏輯公理通常在數學論述中被簡稱為「公理」。這並不表示它們在某種絕對的意思上是正確的。例如，在一些群裡，群運算是可交換的，且這可以在加入加法公理下斷言，但去掉此公理就可以很好地發展（更一般化的）群論，且甚至可以拿此公理的否定來做非可換群的研究。
因此，公理和定義了演繹系統的推理規則一起構成了形式邏輯系統的基礎。

例子

此節會給出一些完全由一套非邏輯公理（或簡稱公理）發展出來的數學定律。任何對此些題目的嚴謹處理都起始於對公理的詳述。
基本理論如算術、實分析和複變分析通常都是由非公理化的方式開始介紹，但通常直接或間接地都會使用到具選擇公理的策梅羅-弗蘭克爾集合論（ZFC）的公理，或是一些極相似的公理化集合論，例如NBG。後者是ZFC集合論的保守擴展，在集合方面與ZFC具有相同的定理，因此兩者有緊密的聯繫。有時，稍強的理論如MK，或帶有允許使用格羅滕迪克全集的強不可達基數的集合論也會被使用，但實際上，大多數數學家都可以在弱於ZFC的系統中確實地證明他們所需要的命題，比如在二階算術中就可能做到這點。
在數學中，拓撲學的研究擴展成點集拓撲、代數拓撲、微分拓撲，和所有相關領域，如同調論和同倫論。「抽象代數」也發展出群論、環、體和伽羅瓦理論。
此列表可以擴展至包含大多數的數學領域，如公理化集合論、測度論、遍歷理論、機率論、表示理論和微分幾何等。

歐幾里得幾何

平面幾何中的4+1個公設大概是最古老且最有名的一組公理。這些公理被稱為「4+1」，因為近兩千年來，第五公設（「通過一直線外一點恰好存在一平行線」）一直被懷疑可以從前4個公理中導出。但最後，第五公設還是被證實是獨立於前4個公理。確實，可以假設通過一直線外一點會沒有平行線、恰好有一平行線，或有著無限多條平行線存在。這些選擇給出了不同形式的幾何，其三角形的內角和會分別為小於、等於或大於180度。這幾種幾何分別被稱為橢圓幾何、歐幾里得幾何和雙曲幾何。

實分析

其研究的對象為實數。實數可唯一由一「戴德金完備有序體」（即帶有上界的非空實數集合必然有最小上界）所決定（在同構意義上）。然而，若要表達這些公理的性質，需要使用到二階邏輯。勒文海姆-斯科倫定理告訴我們若侷限於一階邏輯裡來描述，任何實數的公理系統都會允許有其他的模型，有些會小於實數，有些則會大於實數。後者有些被研究於非標準分析中。

演繹系統和一致性

一致性的要求是最重要的。如果一公理系統，不會同時推導到命題「p」和「非p」，那麼它就稱為一致的系統。
不一致的系統，會同時推導出「p」和「非p」的矛盾結果，在數學推論上，是不能容許的。

更多的探討

早期的數學家視公理化幾何為物理空間的模型，且明顯地只能有此一模型。另一種數學系統可能存在的想法，對19世紀的數學家而言是極度困擾的，並費盡苦心地想要將這些系統從傳統算術中推導出來。伽羅瓦證明這些努力大多都是白費的。最後，這些在代數系統中相互平行的抽象系統看起來似乎有其重要性，而現代代數也由此誕生了。以現在的觀點來看，任意的公式集合都可以作為公理，只要這些公式並未被發現為不一致的便可。