什麼是定理

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