定理

定理是一种可以通过公认的数学运算和论据证明是正确的陈述。一般来说，定理是某些一般性定理的体现使其成为更大理论一部分的原则。证明定理的过程正确被称为证明.

虽然不是绝对标准，但希腊人对“问题”（粗略地说，各种数字的构造）和“定理”（建立所述图形的性质；Heath 1956，第252、262和264页）。

根据诺贝尔物理学奖得主理查德·费曼（1985）的观点，任何定理，无论最初证明有多么困难，都被视为“琐碎的"一旦被证明，就会被数学家们发现。因此，有两种类型数学对象的：琐碎的一个，和那些尚未得到证实。

已故数学家P.Erdős经常与“数学家是将咖啡转化为定理的机器”这一观察结果联系在一起（例如，霍夫曼1998年，第7页）。然而，这种特征似乎是应该的给他的朋友阿尔弗雷德·雷尼（马尔科维奇，麦克图尔）。这个想法是发展起来的埃尔德的朋友、匈牙利数学家保罗·图兰（Paul Turán）进一步说道建议淡咖啡“只适合引理"（Malkevitch，MacTutor）。

R.Graham估计数学定理每年出版（霍夫曼1998年，第204页）。