定理

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

定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理个過程，容許從公理中引出新定理搭仔其他之前發現个定理。勒拉命題邏輯裏向頭，所有已證明个敘述侪稱為定理。