定理

定理是用逻辑的方法判断为正确并作为推理的根据的真命题。定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的，所以被人们选作定理。公理和定理都是真命题，但有的真命题既不是公理，也不是定理。公理和定理的区别主要在于：公理的正确性不需要用推理来证明，而定理需要证明...

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些是，某些是，就不能算是定理）...