定理

（名）已经证明具有正确性、可以作为原则或规律的命题或公式。

定理[ dìng lǐ ]

⒈  通过理论证明能用来作为原则或规律的命题或公式。

【英】theorem;

定理 （数学术语）

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。

定理 （逻辑学名词）

定理（theorem），是用逻辑的方法判断为正确并作为推理的根据的真命题。