Thm：全稱Theorem， 就是定理，比較重要的數學名詞。
定理（英語：Theorem）是經過受邏輯限制的證明為真的陳述。壹般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。
定理相關定義：
1、通過真命題（公理或其他已被證明的定理）出發，經過受邏輯限制的演繹推導，證明為正確的結論的命題或公式，例如“平行四邊形的對邊相等”就是平面幾何中的壹個定理。
2、壹般來說，在數學中，只有重要或有趣的陳述才叫定理，證明定理是數學的中心活動。相信為真但未被證明的數學敘述為猜想，當它被證明為真後便是定理。它是定理的來源，但並非唯壹來源。壹個從其他定理引伸出來的數學敘述，可以不經過證明成為猜想的過程，成為定理。
如上所述，定理需要某些邏輯框架，繼而形成壹套公理（公理系統）。同時，壹個推理的過程，容許從公理中引出新定理和其他之前發現的定理。
在命題邏輯中，所有已證明的敘述都稱為定理。
經過長期實踐後公認為正確的命題叫做公理。用推理的方法判斷為真的命題叫做定理。