定理

定理是经过逻辑证明为真并作为推理依据的命题，属于逻辑学与数学领域的核心概念。其核心特征在于严格的证明过程，通常以公理系统为基础，通过演绎推导确立真理性。在数学中，定理构成学科推理的基础框架，未被证明的陈述称为猜想，经证实后可转化为定理。逻辑学中，定理既是自然演绎系统的推理规则，也是形式化命题的有效性验证工具。

该术语在汉语中最早见于《韩非子·解老》，指事物存亡的确定法则。宋代陆游延续了其“不可易”的哲学含义。至近代，学者如梁启超引入科学定义，将其确立为可推导普遍规律的正确命题。现代阐释体系强调定理在数理逻辑中的实践形态，例如“易字定理”揭示了变元替换不影响命题意义的逻辑规则。