定理是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
定理是建立在公理和假设基础上，经过严格的推理和证明得到的，它能描述事物之间内在关系，定理具有内在的严密性，不能存在逻辑矛盾。
