公理、定理、推论区别与联系

公理与定理、推断的区别

公理：是不能被证明但确实是正确的结论，是客观规律，比如两点之间线段最短。

定理：是在一定条件下，由公理推导证明出来的正确的结论。

推论：是由公理或定理推出的结论，也可以说是一个定理，但往往推论比定理限制条件多一些。

性质：数学对象某些特征。

还有定律：通过实验数据统计的方法得到的结论，叫做定律。

其中公理、定理、推论、定律都是真命题。

物理中的原理就是公理

所有的数学证明都需要定义与公理、定理、推论