定理是Theorem,是要根据基本的公理来推论(Deduce)的公理是Axiom,它不需要证明,是人们的共识,是常识(Common Sense).例如：整体大于局部 (公理)等式两边加上相同的量仍然相等 (公理)直角三角形的两个直角边平方的和等...