Question

定义与定理的区别

Answer 1

定理：
1、通过真命题（公理或其他已被证明的定理）出发,经过受逻辑限制的演绎推导,证明为正确的结论的命题或公式,例如“平行四边形的对边相等”就是平面几何中的一个定理.
2、一般来说,在数学中,只有重要或有趣的陈述才叫定理,证明定理是数学的中心活动.相信为真但未被证明的数学叙述为猜想,当它被证明为真后便是定理.它是定理的来源,但并非唯一来源.一个从其他定理引伸出来的数学叙述,可以不经过证明成为猜想的过程,成为定理.
如上所述,定理需要某些逻辑框架,继而形成一套公理（公理系统）.同时,一个推理的过程,容许从公理中引出新定理和其他之前发现的定理.
在命题逻辑中,所有已证明的叙述都称为定理.
定义：
定义是通过列出一个事物或者一个物件的基本属性来描写或者规范一个词或者一个概念的意义.被定义的事物或者物件叫做被定义项,其定义叫做定义项.
比如“一个单身汉是一个未婚男子”这个定义中“单身汉”是被定义项,“未婚男子”是定义项.定义中的“一个”和“是”均可以使用符号取代,比如使用:=这个符号,上面这个定义可以转写为：“单身汉:=未婚男子”.一般来说一个定义像上面这个例子一样往往是表达被定义项与定义项之间的等同的句子.

Answer 2

定义是通过列出一个事物或者一个物件的基本属性来描写或者规范一个词或者一个概念的意义。被定义的事物或者物件叫做被定义项，其定义叫做定义项。
比如“一个单身汉是一个未婚男子”这个定义中“单身汉”是被定义项，“未婚男子”是定义项。定义中的“一个”和“是”均可以使用符号取代，比如使用:=这个符号，上面这个定义可以转写为：“单身汉:=未婚男子”。一般来说一个定义像上面这个例子一样往往是表达被定义项与定义项之间的等同的句子。
定理是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。

定理一般都有一个设定——一大堆条件。然后它有结论——一个在条件下成立的数学叙述。通常写作“若条件，则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。例如“平行四边形的对边相等”就是平面几何中的一个定理。