定理是用邏輯的方法判斷為正确并作為推理的根據的真命題。定理是根據公理或已知的定理推導出來的真命題。這些真命題都是最基本的和常用的,所以被人們選作定理。公理和定理都是真命題,但有的真命題既不是公理,也不是定理。公理和定理的區别主要在于:公理的正确性不需要用推理來證明,而定理需要證明。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!