传统形式逻辑三段论由一类事物的不证自明的全称判断作为前提，可以推断这类事物中部分判断为真，那么这个全称判断就是公理。如“有生必有死”，就属于这种判断。
在欧几里得几何系统中，下面所述的是几何系统中的部分公理：
① 等于同量的量彼此相等。
②等量加等量，其和相等。
③ 等量减等量，其差相等。
④ 彼此能重合的物体是全等的。
以下是常用的等量公理的代数表达：
①如果a=b，那么a c=b c。
②如果a=b，那么a－c=b－c。
③如果a=b，且c≠0，那么ac=bc。
④如果a=b，且c≠0，那么a/c=b/c。
⑤如果a=b，b=c，那么a=c。
在数学中，公理这一词被用于两种相关但相异的意思之下——逻辑公理和非逻辑公理。在这两种意义之下，公理都是用来推导其他命题的起点。和定理不同，一个公理（除非有冗余的）不能被其他公理推导出来，否则它就不是起点本身，而是能够从起点得出的某种结果—可以干脆被归为定理了。
扩展资料
古希腊人认为几何学也是数种科学的其中之一，且视几何学的定理和科学事实有同等地位。他们发展并使用逻辑演绎方法来作为避免错误的方法，并以此来建构及传递知识。亚里斯多德的后分析篇是对此传统观点的一决定性的阐述。
“公理”，以传统的术语来说，是指在许多科学分支中所共有的一个不证自明的假设。
在各种科学领域的基础中，或许会有某些未经证明而被接受的附加假定，此类假定称为“公设”。公理是许多科学分支所共有的，而各个科学分支中的公设则是不同的。公设的有效性必须建立在现实世界的经验上。确实，亚里斯多德曾言，若读者怀疑公设的真实性，这门科学之内容便无法成功传递。
参考资料来源：
网页链接百度百科-公理
“公理”，以传统的术语来说，是指在许多科学分支中所共有的一个不证自明的假设。
在各种科学领域的基础中，或许会有某些未经证明而被接受的附加假定，此类假定称为“公设”。公理是许多科学分支所共有的，而各个科学分支中的公设则是不同的。公设的有效性必须建立在现实世界的经验上。
确实，亚里斯多德曾言，若读者怀疑公设的真实性，这门科学之内容便无法成功传递。
传统的做法在《几何原本》中很好地描绘了出来，其中给定一些公设（从人们的经验中总结出的几何常识事实），以及一些“公理”（极基本、不证自明的断言）。
扩展资料
当数学家使用体的公理时，其含义甚至变得更加地抽象了。体论的命题没有关注于任一特定的应用上；数学家现在于完全的抽象化上工作著。体有许多的例子；而体论可以给出对所有这些例子适用的正确知识。
说体论的公理是“被视为不证自明的命题”是不正确的。实际上，体的公理是一套局限。若任一给定的加法与乘法系统符合此些局限，则我们对此系统立即可以得到许多额外的资讯。
现代数学家也对数学基础作了相当程度的形式化，从而使得数学理论可以被视为数学物件，且逻辑本身亦能被视为是数学的一个分支。戈特洛布·弗雷格、伯特兰·罗素、庞加莱、大卫·希尔伯特和库尔特·哥德尔是此发展中的几位关键角色。
在理解里，一套公理是任何一群形式陈述的断言，而透过应用某些定义良好的规则，可由这些公理推导出其他形式陈述的断言。
在此观点下，逻辑只是变成了另一个形式系统。一套公理应该是相容的，即应该不可能由此公理中导出矛盾来。一套公理亦应该是非冗余的，即一个可以由其他公理导的断言不应被视为是一个公理。
参考资料来源：百度百科-公理
