定理是用逻辑的方法判断为正确并作为推理的根据的真命题。定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的，所以被人们选作定理。公理......
定理是经过受逻辑限制的证明为真的叙述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。相信为真但未被证明的数学叙述为猜想，当它......
