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