何为数学中的定理？

定理（Theorem）是经过受逻辑限制的证明为真的陈述。证明定理是数学的中心活动。这便是2300年前希腊代的数学家欧几里得的最大贡献之一。他使用了公理化的方法，一切定理都由此演绎而出。在这种演绎推理中，每个证明必须以公理为前提，或者以被证明了的定理为前提。这一方法后来成了建立任何知识体系的典范，在差不多二千年间，被奉为必须遵守的严密思维的范例。 这里欢迎更多朋友加入到[遇见]翻译小组, 一道为营造更良好的数学文化氛围而前行. » 加入链接 生肉：https://www.youtube.com/watch?v=S0DSM-EkQE8