定理

1. 定理 (dìnglǐ)

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

国语词典

定理 (dìng lǐ)

1. 永久不變的真理。

   • 宋．朱熹．中庸章句．序：「子程子曰：『中者，天下之正道，庸者，天下之定理。』」

2. 數學上的命題或公式，已證明為真實，可以定為原理或規則的，稱為「定理」。

3. 有明文規定的事項。

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些是，某些是，就不能算是定理）。 猜想是相信为真但未被证明的数学叙述，或者叫做命题，当它经过证明后便是定理。猜想是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程，成为定理。 如上所述，定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。 在命题逻辑，所有已证明的叙述都称为定理。