定义是人为规定的对概念的描述,比如说,“三条边长度都相等的三角形叫等边三角形”,这是对“等边三角形”下的定义,是不需要证明的东西。
定理是可推导、证明的有逻辑的陈述,定理必须经过严格的证明,是从定义或者公理衍生出的命题或公式,比如,“勾股定理”。