##### 数学命题 - 数学命题 - **数学命题**是数学领域中的[[命题|逻辑命题]], 是一个明确的陈述, 其真值可以通过逻辑推理或数学方法确定, 数学命题通常用形式语言或自然语言表达, 数学命题是构成数学理论的基本单元, 它通常涉及到某个数学对象的性质, 关系或运算等. 数学命题的目的是表达关于数学结构, 概念或对象的某种真理, 或者给出某种数学推论 - 公理, 是真实的不证自明的陈述或命题, 作为进一步推理和论证的前提或起点, 公理可以采用无须定义的原始术语来陈述 - 定理, 形式上就是一个能够被证明是真的命题, 其中所有术语都必须是有定义的 - 引理, 是一个重要性略低但有助于证明其他结论的定理 - 推论, 是从一个已经被证明的定理可以直接建立起来的一个定理 - 猜想, 是一个被提出认为是真的命题, 通常是基于部分证据, 启发式论证或者专家的直觉