二炮手 第32集:什么是公理?什么是定理?

公理”：是人们在长期实践中总结出来的基本数学知识并作为判定其它命题真假的根据
“定理”：用推理的方法得到的真命题叫做“定理”，这种推理的方法也叫“证明”.
公理是一些前提假设，这些前提假设规定了整个理论的最基本的概念之间的关系，它们并不需要任何事实和经验的支持，只要它们本身在逻辑上没有矛盾就可以了。它们不能被推出，因为它们是最基本的东西。所有的定理都是由公理推出来的。

一个典型的例子是非欧几何的基本公理，它们提出时并没有任何事实和经验的支持，而且是违反直观的，尽管后来发现确实有事实支持这样一种几何的存在，但这并不能说明公理一定是需要经验的。

公理是一些前提假设，这些前提假设规定了整个理论的最基本的概念之间的关系，它们并不需要任何事实和经验的支持，只要它们本身在逻辑上没有矛盾就可以了。它们不能被推出，因为它们是最基本的东西。所有的定理都是由公理推出来的。

一个典型的例子是非欧几何的基本公理，它们提出时并没有任何事实和经验的支持，而且是违反直观的，尽管后来发现确实有事实支持这样一种几何的存在，但这并不能说明公理一定是需要经验的。

“公理”：是人们在长期实践中总结出来的基本数学知识并作为判定其它命题真假的根据
“定理”：用推理的方法得到的真命题叫做“定理”，这种推理的方法也叫“证明”.

公理(axiom)
1、指社会上多数人公认的正确的道理。
2、经过人类长期反复实践的考验，不许要再加以证明的真命题，常见的公里有：平行公理、等式的传递性、两直线平行，同位角相等、同位角相等，两直线平行等等
定理
定理是建立在公理和假设基础上描述事物之间内在关系。比如，勾股定理，前提假设是直角三角形，隐含假设是平直的欧几里得空间。定理具有内在的严密性，不能存在逻辑矛盾。

公理是建立科学的基础，比如欧几里得《几何原本》中有类似“两个等量分别加上一个固定量，二者仍然相等。”(A = B则A + x = B + x)的公理。

定律是描述客观世界变化规律的表达式或者文字。比如：牛顿万有引力定律。由于定律是针对客观世界，所以可接受近似或者不完全囊括整个物理世界。

定理是建立在公理和假设基础上描述事物之间内在关系。比如，勾股定理，前提假设是直角三角形，隐含假设是平直的欧几里得空间。定理具有内在的严密性，不能存在逻辑矛盾。

数学上所说的"公理",就是一些不加证明而公认的前提,然后以此为基础,推演出所讨论对象的进一步的内容
定理是建立在公理和假设基础上描述事物之间内在关系。