定理
定理（模板:英文名）是經過受邏輯限制个證明為真个陈述。一般性末，勒數學裏向，只有重要或有勁个陳述才叫定理。證明定理是數學个中心活動。一个定理陈述一个畀定类个所有（全称）元素一种弗变个关系，迭排元素可以是无穷多，佢拉勒拉任何时刻才无区别个成立，而呒没一个例外。（譬如：某些是，某些是，就弗好算是定理）。
猜想是相信為真但未畀證明个數學敘述，或者叫做命题，當佢經過證明後便是定理。猜想是定理个來源，但並非唯一來源。一個從其他定理引伸出來个數學敘述可以弗經過成為猜想个過程，成為定理。
如上所話，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理个過程，容許從公理中引出新定理搭仔其他之前發現个定理。
勒拉命題邏輯裏向頭，所有已證明个敘述侪稱為定理。