望“定理”个源码

'''定理'''（{{英文名|Theorem}}）是經過受[[邏輯]]限制个[[證明]]為真个[[陈述]]。一般性末，勒數學裏向，只有重要或有勁个陳述才叫定理。證明定理是[[数学|數學]]个中心活動。一个定理陈述一个畀定类个所有（全称）元素一种弗变个关系，迭排元素可以是无穷多，佢拉勒拉任何时刻才无区别个成立，而呒没一个例外。（譬如：某些<math>a</math>是<math>x</math>，某些<math>a</math>是<math>y</math>，就弗好算是定理）。

'''[[猜想]]'''是相信為真但未畀證明个數學敘述，或者叫做[[命题]]，當佢經過證明後便是定理。猜想是定理个來源，但並非唯一來源。一個從其他定理引伸出來个數學敘述可以弗經過成為猜想个過程，成為定理。

如上所話，定理需要某些邏輯框架，繼而形成一套[[公理]]（[[公理系統]]）。同時，一個推理个過程，容許從公理中引出新定理搭仔其他之前發現个定理。

勒拉[[命題邏輯]]裏向頭，所有已證明个敘述侪稱為定理。
[[Category:数学]]