在数学、逻辑学以及日常科学探讨中，定理和定义是两个最基础也最核心的概念。许多人在初学阶段容易混淆二者：为什么有些话可以直接说（定义），而有些话必须证明（定理）？它们之间究竟存在着怎样严谨的逻辑链条？
本文旨在深入剖析什么是定理和定义，不仅从形式逻辑的角度进行拆解，更结合数学史与认知心理学，探讨它们如何构建起人类知识的大厦。无论你是学生、教师，还是对逻辑思维感兴趣的探索者，这篇指南都将为你厘清概念迷雾。
定义（Definition）是对一个概念的内涵（本质属性）和外延（适用范围）所作的确切描述。在逻辑体系中，定义的作用是“约定俗成”。它本身没有真假之分，只有“清晰”与“模糊”、“准确”与“不准确”之别。
例如，当我们说“三角形是由三条线段围成的图形”时，我们并没有发现一个客观真理，而是在规定：在接下来的讨论中，当我们使用“三角形”这个词时，它必须代表这个特定的几何形状。如果我们重新定义它，只要逻辑自洽，也是允许的。
| 领域 | 概念 | 定义内容 | 解析 |
|---|---|---|---|
| 几何学 | 平行线 | 在同一平面内，永不相交的两条直线。 | 规定了“平面”、“直线”、“不相交”三个要素。 |
| 计算机 | 二进制 | 一种使用0和1两个数码来表示数的数制。 | 约定了计算机底层逻辑的基础符号集。 |
| 法律 | 不可抗力 | 不能预见、不能避免且不能克服的客观情况。 | 明确了免责条款的适用边界。 |
定理（Theorem）是指经过受逻辑限制的重复验证正确的命题。与定义不同，定理不是约定，而是发现。它揭示了事物之间内在的、必然的联系。
一个标准的数学定理通常由两部分组成：
例如勾股定理：“如果直角三角形的两直角边长分别为a，b，斜边长为c（条件），那么a² + b² = c²（结论）。”
直觉往往是不可靠的。人类的感觉器官只能感知有限的空间和时间，而数学定理往往适用于无穷大的集合或高维空间。因此，必须通过逻辑演绎（Deductive Reasoning），从公认的公理和定义出发，一步步推导出结论，才能确保其绝对正确。
这是最著名的定理之一。它不仅仅是一个公式，更揭示了直角三角形边长之间的深刻数量关系。它的证明方法超过400种，从毕达哥拉斯的图形割补法到爱因斯坦的相似三角形法，每一种证明都从不同角度展现了数学的美。
意义：它是数形结合的开端，标志着人类从具体计算走向抽象逻辑证明。
“当整数n > 2时，关于x, y, z的方程 xⁿ + yⁿ = zⁿ 没有正整数解。”
这个猜想困扰了数学家358年。直到1995年，安德鲁·怀尔斯（Andrew Wiles）利用椭圆模形式和伽罗瓦表示等现代高等数学工具才最终证明。这体现了定理证明技术的不断进化。
在非数学领域，定理以逻辑规则的形式存在。例如“矛盾律”：一个命题不能同时为真又为假。这是人类理性思维的基石，任何违背基本逻辑定理的论述在理性讨论中都是无效的。
理解什么是定理和定义的关键，在于把握二者在逻辑体系中的不同地位。我们可以通过以下维度进行区分：
| 维度 | 定义 (Definition) | 定理 (Theorem) |
|---|---|---|
| 性质 | 主观约定，人为规定 | 客观真理，逻辑必然 |
| 真假性 | 无真假之分（只有好坏之分） | 有真假之分（必须为真） |
| 证明需求 | 无需证明 | 必须经过严格证明 |
| 可更改性 | 可根据需要重新定义（如非欧几何） | 一旦证明成立，不可更改 |
| 作用 | 建立基础，明确概念 | 拓展知识，揭示规律 |
有些命题处于灰色地带。例如“1+1=2”。在皮亚诺公理体系中，这是经过严格定义的加法运算和自然数定义后推导出的定理。但在小学教学中，它常被当作公理或定义直接接受。这种教学简化容易让学生产生误解。
另一个例子是“平行四边形对边相等”。这是定理，因为它可以通过全等三角形证明。而“两组对边分别平行的四边形叫平行四边形”则是定义。
人类对定理和定义的认识经历了一个从经验主义到公理化体系，再到元数学反思的漫长过程。
建立了第一个完整的公理化体系。欧几里得首先列出23个定义（如点、线），5个公设和5个公理，然后由此推导出465个定理。这确立了定义作为逻辑起点的地位。
笛卡尔和牛顿等人引入了变量和极限概念。此时的定义往往带有直观色彩（如牛顿对导数的描述），而定理的数量呈爆炸式增长，但严谨性尚显不足。
柯西、魏尔斯特拉斯等人引入了ε-δ语言，对极限等核心概念给出了精确的定义，消除了微积分中的逻辑漏洞，使定理的证明更加严密。
大卫·希尔伯特提出将数学全部公理化，试图证明数学体系的完备性和一致性。这标志着对定义和定理基础结构的元数学研究达到高峰。
哥德尔证明：在任何包含基本算术的形式系统中，总存在一些命题既不能被证明也不能被证伪。这深刻改变了我们对定理边界的认识。
针对网民高频搜索的问题，我们整理了以下深度解答：
A: 从逻辑角度看，定义没有对错，只有“有用”与“无用”。如果一个定义导致了逻辑矛盾或无法解决实际问题，我们可以说它“不好”或“不适用”，但不能说它“假”。例如，将“偶数”定义为“不能被2整除的数”，这是一个错误的定义，因为它与既定惯例冲突，导致沟通失效。
A: 在一个固定的公理体系内，定理一旦被证明，就永远成立，不可推翻。例如，在欧几里得几何中，三角形内角和永远等于180度。但是，如果我们改变了公理体系（如切换到非欧几何），原来的定理就不再成立。因此，定理的真理性是相对于公理体系而言的。
A: 尝试问自己：“这个命题需要证明吗？”如果答案是“不需要，这是规定”，那就是定义。如果答案是“需要，我来试试证明”，那就是定理。例如，“正方形是四条边相等的矩形”是定义（规定）；而“正方形的对角线互相垂直”是定理（需要证明）。