何为数学中的定理？为什么说欧几里得塑造了任何知识体系的典范？

定理（Theorem）是经过受逻辑限制的证明为真的陈述。证明定理是数学的中心活动。这便是2300年前希腊代的数学家欧几里得的最大贡献之一。他使用了公理化的方法，一切定理都由此演绎而出。在这种演绎推理中，每个证明必须以公理为前提，或者以被证明了的定理为前提。这一方法后来成了建立任何知识体系的典范，在差不多二千年间，被奉为必须遵守的严密思维的范例。