这个词定理源于拉丁文theorēma，它不是一个显而易见的事实，却是显而易见的。该定理源于直观特性，并且具有专门的演绎特征，这就是为什么需要将某种逻辑推理（证明）作为绝对真理来接受的原因。
该定理的一些示例如下：斜边和的平方等于腿的平方和。如果数字以零或五结尾，则可以被五整除。
在诸如定理的假设（具有足够证据的直觉真理）中，有一个条件（假设）和结论（命题）被认为在条件部分或假设有效的情况下得到满足。这些定理需要证明，无非就是一系列假设或其他已证明的定理或定律所支持的一系列推理。
考虑定理的对等关系是非常重要的。这成为另一个定理，其假设是第一个（直接定理）的命题，而其命题是直接定理的假设。例如：
直接定理，如果数字以零或五（假设）结尾，则可以被五（主题）整除。
互易定理，如果一个数可被五（假设）整除，则它必须以零或五（假设）结尾。您必须非常小心，因为互易定理并不总是正确的。
历史上一些最著名的定理是：毕达哥拉斯，泰勒斯，费马，欧几里得，贝叶斯，中心极值，素数，莫雷定理等。
