数学公式什么叫定理什么叫推论

定理：定理是能够通过公理和定义演绎证明出来的真命题。

首先必须是真命题，其次必须能够用公理和已知的定义加以证明的。一个定理得到证明后，也可以用以证明其他的定理。推论：推论其实就可以理解成定理。推论往往是某一公理或定理的变形、转换，或者是定理或公理经过非常简单的步骤推演就可以得到的真命题。推论在实际应用中，完全可以当做定理用。