定理是Theorem,是要根据基本的公理来推论(Deduce)的公理是Axiom，它不需要证明，是人们的共识，是常识(Common Sense).例如：整体大于局部 (公理)等式两边加上相同的量仍然相等 (公理)直角三角形的两个直角边平方的和等于斜边的平方 (定理)由公理出发，形成一系列的定理、一些列的运算法则(Law,Rule) 、性质(Property),就形成了理论(Theory)。4
