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