什么是定理

【什么是定理】定理是用逻辑的方法判断为正确并作为推理的根据的真命题 。定理是根据公理或已知的定理推导出来的真命题 。这些真命题都是最基本的和常用的,所以被人们选作定理 。公理和定理都是真命题,但有的真命题既不是公理,也不是定理 。公理和定理的区别主要在于:公理的正确性不需要用推理来证明,而定理需要证明 。