Question

何谓定理？定理是否都是可证的？为什么，如何证明？

Answer 1

定理（theorem），是用逻辑的方法判断为正确并作为推理的根据的真命题。
定理是经过受逻辑限制的慧坦派证明为真的叙述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
相信为真但未被证明的数学叙述信悔为猜想，当它经过证明後便是定理。它是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程，成为定理。
如上所述，定理需要某些逻辑框架，继而形成一套前贺公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。
在命题逻辑，所有已证明的叙述都称为定理。

Answer 2

定理就是由公理进行一定的运算或推理所得的结果，他们的证明靠一些大家普遍认同的称之为公理的进行证明，有些证明起搭敬来麻烦的很明厅所以一般的书上没有知槐慎证明