公理

在传统逻辑中，公理是没有经过证明，但被当作不证自明的一个命题。因此，其真实性被视为是理所当然的，且被当做演绎及推论其他（理论相关）事实的起点。当不断要求证明时，因果关系毕竟不能无限地追溯，而需停止于无需证明的公理。通常公理都很简单，且符合直觉，如“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世纪的数学家而言是极度困扰的，并费尽苦心地想要将这些系统从传统算术中推导出来。伽罗瓦证明这些努力大多都是白费的。最后，这些在代数系统中相互平行的抽象系统看起来似乎有其重要性，而现代代数也由此诞生了。以现在的观点来看，任意的公式集合都可以作为公理，只要这些公式并未被发现为不一致的便可。