- a statement or formula that can be deduced from the axioms of a formal system by means of its rules of inference
WordReference Random House Learner's Dictionary of American English © 2026
the•o•rem /ˈθiərəm, ˈθɪrəm/USA pronunciation
n. [countable]
WordReference Random House Unabridged Dictionary of American English © 2026- Mathematicsa statement that can be shown to be true from or on the basis of other statements.
the•o•rem
(thē′ər əm, thēr′əm),USA pronunciation n.
the•o•re•mat•ic
(thē′ər ə mat′ik, thēr′ə-),USA pronunciation adj.
the′o•re•mat′i•cal•ly, adv.
- Mathematicsa theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas.
- a rule or law, esp. one expressed by an equation or formula.
- Philosophy[Logic.]a proposition that can be deduced from the premises or assumptions of a system.
- an idea, belief, method, or statement generally accepted as true or worthwhile without proof.
- Greek theó̄rēma spectacle, hence, subject for contemplation, thesis (to be proved), equivalent. to theōrē-, variant stem of theōreîn to view + -ma noun, nominal suffix
- Late Latin theōrēma
- 1545–55;
Collins Concise English Dictionary © HarperCollins Publishers::
theorem /ˈθɪərəm/ n
'theorem' also found in these entries (note: many are not synonyms or translations):
binomial theorem
- central limit theorem
- decidable
- derivation
- distributive law
- Gresham's law
- law of thermodynamics
- Pasolini
- proposition
- Pythagoras' theorem
- quod erat demonstrandum
- remember
- satisfy
- turnstile
- Bayes' theorem
- Bernoulli equation
- Bernoulli's theorem
- binomial coefficient
- binomial series
- Bolzano-Weierstrass theorem
- Boole's inequality
- Borel-Lebesgue theorem
- Brouwer fixed-point theorem
- Carnot's theorem
- Cauchy integral formula
- Cauchy integral theorem
- chain rule
- comparison test
- CPT theorem
- de Moivre's theorem
- De Morgan's laws
- Desargues's theorem
- diagram
- division algorithm
- duality
- equipartition of energy
- Euler's formula
- existence theorem
- Fermat's last theorem
- Fermat's theorem
- fixed
- four-color problem
- Gödel's incompleteness theorem
- Goldbach conjecture
- Green's theorem
- Heine-Borel theorem
- implicit function theorem
- integral test
- intermediate-value theorem
- Jordan curve theorem