什么是定理

【什么是定理】定理是用邏輯的方法判斷為正確并作為推理的根據的真命題 。定理是根據公理或已知的定理推導出來的真命題 。這些真命題都是最基本的和常用的,所以被人們選作定理 。公理和定理都是真命題,但有的真命題既不是公理,也不是定理 。公理和定理的區別主要在于:公理的正確性不需要用推理來證明,而定理需要證明 。