(相关资料图)

1、定理的定义：是被逻辑限制证明为真的陈述。

2、一般来说，在数学中，只有重要的陈述才叫做定理。

3、证明定理是数学的中心活动。

4、一个被认为是真的但未被证明的数学陈述是一个猜想，当它被证明时，它就是一个定理。

5、它是定理的来源，但不是唯一的来源。

6、一个从其他定理推导出来的数学陈述，不经过猜想的过程，也可以成为一个定理。

7、如前所述，定理需要一些逻辑框架，进而形成一套公理(公理系统)。

8、同时，推理过程允许新的定理和其他以前发现的定理从公理中推导出来。

9、在命题逻辑中，所有被证明的陈述都称为定理。