定理是经过受逻辑限制的证明为真的陈述。

定义：

1、一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。

2、通过真命题、公理或其他已被证明的定理出发，经过受逻辑限制的演绎推导，证明为正确的结论的命题或公式。