定律与定理

数学的线索

命题

命题

一个判断句的语义（实际表达的概念），这个概念是可以被定义并观察的现象

猜想

相信为真但未被证明的数学陈述

定律 law

一般性的规律

通过实验观测得出的命题，使用归纳法

定理theorem

严格证明，没有例外的规律

通过已知为真的命题推理得出，使用演绎法

被证明的猜想

证实与证明

自然科学认可观察得到的规律

数学的结论必须由定义与公里推出，需要严格证明