一个是通过证明的论断,一个是最终成立的叙述。
定义是为实践和事实所证明,反映事物在一定条件下发展变化的客观规律的论断。定义是一种理论模型,它用以描述特定情况、特定尺度下的现实世界,在其它尺度下可能会失效或者不准确。没有任何一种理论可以描述宇宙当中的所有情况,也没有任何一种理论可能完全正确。定义是对客观事实的一种表达形式,通过大量具体的客观事实归纳而成的结论。定理一般都有一个设定——一大堆条件,然后它有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。而当中的证明不视为定理的成分。例如“平行四边形的对边相等”就是平面几何中的一个定理。在命题逻辑中,所有已证明的叙述都称为定理。