Theorema (-tis, n.) (Graece Θεώρημα 'contemplatum') est pronuntiatum logice probatum. Propositum nondum probatum est coniectura. Ars mathematica est quasi collectio omnium theorematum ab omnibus mathematicis probatorum.
Mathematici Graeci primi fuerunt qui theoremata ab axiomatis demonstrabant. Logica est pars mathematicae quae, inter alia, de demonstrationum formis tractat.