theorem

See also: Theorem

English

Etymology

From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “I look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “I see, look”). See also theory, and theater.

Pronunciation

• (UK) IPA^(key): /ˈθiː.ə.ɹəm/

• Audio (Southern England):

  (file)

• (US) IPA^(key): /ˈθɪəɹ.əm/
• Rhymes: (US) -ɪəɹəm

Noun

theorem (plural theorems)

1. (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
2. (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.

   Fermat's Last Theorem was known thus long before it was proved in the 1990s.

3. (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.

Synonyms

• (proven statement): lemma, proposition, statement, see Thesaurus:theorem
• (unproven statement): conjecture
• See also Thesaurus:statement

Hyponyms

Hyponyms of theorem (informatics)

• Böhm-Jacopini theorem
• structured program theorem

 

Hyponyms of theorem (mathematics)

• Bernoulli's theorem
• binomial theorem
• central limit theorem
• Ceva's theorem
• cosine theorem
• De Morgan's theorem
• double angle theorem
• Dvoretzky's theorem
• Euclid's theorem
• exterior angle theorem
• Fermat's Last Theorem
• fundamental theorem
• fundamental theorem of algebra
• fundamental theorem of arithmetic
• Gauss' theorem
• Gleason's theorem
• Gödel's incompleteness theorem
• Green's theorem
• Haag's theorem
• Hales-Jewett theorem
• Hindman's theorem
• inscribed angle theorem
• intercept theorem
• Knaster-Tarski theorem
• Menelaus' theorem
• Milliken-Taylor theorem
• Paris-Harrington theorem
• Pythagoras' theorem
• Rado-Folkman-Sanders theorem
• Rado's theorem
• Schur's theorem
• sine theorem
• Stokes' theorem
• Stone-Weierstrass theorem
• Szemerédi's theorem
• Thales' theorem
• time hierarchy theorem
• Turán's theorem
• Van der Waerden's theorem

 

• Abel-Ruffini theorem
• Abel's impossibility theorem
• Abel's irreducibility theorem
• Abel's theorem
• Arrow's theorem
• Atiyah-Singer index theorem
• Ax-Grothendieck theorem
• Ax-Kochen theorem
• bathtub theorem
• Bayes' theorem
• Bell-Kochen-Specker theorem
• Bell's theorem
• Belyi's theorem
• Bertrand-Chebyshev theorem
• Bézout's theorem
• Bloch's theorem
• Blum's speedup theorem
• Bombieri-Friedlander-Iwaniec theorem
• Bondareva-Shapley theorem
• Brewer's theorem
• Brouwer fixed-point theorem
• Brouwer's fixed-point theorem
• Bruck-Ryser-Chowla theorem
• Brunn-Minkowski theorem
• Brun's theorem
• Budan's theorem
• Cantor-Bendixson theorem
• Cantor's theorem
• Cayley's theorem
• Chebyshev's theorem
• Chen's theorem
• Chinese remainder theorem
• Church-Rosser theorem
• Clausius theorem
• Coase theorem
• commutant lifting theorem
• complex conjugate root theorem
• consensus theorem
• Darboux's theorem
• de Bruijn-Erdős theorem
• de Bruijn's theorem
• deduction theorem
• de Moivre's theorem
• Desargues's theorem
• Earnshaw's theorem
• Ehrenfest theorem
• Euler's rotation theorem
• Fary-Milnor theorem
• Feit-Thompson theorem
• Fermat's last theorem
• Fermat's little theorem
• fluctuation theorem
• four color theorem
• free will theorem
• Freiman's theorem
• Fubini's theorem
• Futurama theorem
• Gauss-Bonnet theorem
• Gauss-Lucas theorem
• Gelfond-Schneider theorem
• Gibbard-Satterthwaite theorem
• Gibbard's theorem
• Ginsberg's theorem
• Goddard-Thorn theorem
• Gomory's theorem
• Goodstein's theorem
• Gougu theorem
• Green-Tao theorem
• Grothendieck-Riemann-Roch theorem
• Hadwiger's theorem
• hairy ball theorem
• ham sandwich theorem
• Harnack's curve theorem
• Heine-Borel theorem
• Helly-Bray theorem
• Helly's selection theorem
• Helly's theorem
• Herbrand-Ribet theorem
• Herbrand's theorem
• Herglotz-Noether theorem
• Hilbert's basis theorem
• Hjelmslev's theorem
• Holevo's theorem
• Hurewicz theorem
• infinite monkey theorem
• intermediate value theorem
• Japanese theorem
• Jordan curve theorem
• Kazhdan-Margulis theorem
• Kleene fixed-point theorem
• Kleene's fixed-point theorem
• Kleene's recursion theorem
• Kleene's theorem
• Kochen-Specker theorem
• Kodaira vanishing theorem
• Kolmogorov-Arnold-Moser theorem
• Koopmans' theorem
• Krein-Milman theorem
• Kruskal's tree theorem
• KS theorem
• Kummer's theorem
• Kuratowski-Ulam theorem
• Kutta-Joukowski theorem
• Lefschetz fixed-point theorem
• Lickorish-Wallace theorem
• Lindelöf covering theorem
• Lindemann-Weierstrass theorem
• Liouville-Arnold theorem
• Löb's theorem
• Löwenheim-Skolem theorem
• Maharam's theorem
• Matiyasevich's theorem
• Mayer-Norton theorem
• mean value theorem
• Menger's theorem
• midline theorem
• midpoint theorem
• Miquel's theorem
• Mittag-Leffler's theorem
• monotone convergence theorem
• Monsky's theorem
• Morley's trisector theorem
• MRDP theorem
• Nachbin's theorem
• Neukirch-Uchida theorem
• no-communication theorem
• Noether's theorem
• no free lunch theorem
• no-ghost theorem
• no-go theorem
• no-hair theorem
• Norton's theorem
• orbit-stabilizer theorem
• Ore's theorem
• pancake theorem
• Pappus's hexagon theorem
• parallel axis theorem
• Parseval's theorem
• Pasch's theorem
• perpendicular axis theorem
• Petersen-Morley theorem
• Petersen's theorem
• Picard-Lindelöf theorem
• Poincaré-Birkhoff-Witt theorem
• Poynting's theorem
• Price's theorem
• prime number theorem
• Ptolemy's theorem
• Pythagorean theorem
• Radon's theorem
• Ramsey's theorem
• rank-nullity theorem
• rational root theorem
• Rice's theorem
• Richardson's theorem
• Riemann-Roch theorem
• Robertson-Seymour theorem
• Rolle's theorem
• Romanov's theorem
• Roth's theorem
• Runge's theorem
• Savitch's theorem
• scallop theorem
• Sharkovskii's theorem
• Siegel-Walfisz theorem
• Slutsky's theorem
• Solèr's theorem
• spectral theorem
• Sperner's theorem
• Sprague-Grundy theorem
• squeeze theorem
• Stark-Heegner theorem
• Stone's representation theorem
• Størmer's theorem
• Sturm's theorem
• Sumihiro's theorem
• Sylow theorem
• Sylvester-Gallai theorem
• Tarski-Seidenberg theorem
• Tarski's fixed-point theorem
• Tauberian theorem
• Thales's theorem
• theorem of Pythagoras
• Thévenin's theorem
• Thue's theorem
• Titchmarsh convolution theorem
• Torricelli's theorem
• van der Waerden's theorem
• Varignon's theorem
• Veblen's theorem
• Vinogradov's theorem
• virial theorem
• Vitali-Carathéodory theorem
• Weierstrass-Lindemann theorem
• Whitney's theorem
• Wick's theorem
• Wigner-Eckart theorem
• Wilks's theorem
• Zeckendorf's theorem
• Zermelo's theorem

 

Holonyms

• theory

Related terms

• theoretical
• theory

Translations

proved mathematical statement

• Albanian: teoremë (sq) f
• Arabic: مُبَرْهَنَة f (mubarhana), نَظَرِيَّة (ar) f (naẓariyya)
• Armenian: թեորեմ (hy) (tʻeorem)
• Azerbaijani: teorem
• Bashkir: теорема
• Belarusian: тэарэ́ма f (tearéma)
• Bengali: উপপাদ্য (bn) (upopaddo)
• Bulgarian: теоре́ма (bg) f (teoréma)
• Catalan: teorema (ca) m
• Chinese:

  Mandarin: 定理 (zh) (dìnglǐ)

• Czech: věta (cs) f
• Danish: teorem n, læresætning c
• Dutch: theorema (nl) m, stelling (nl) f, leerstelling (nl) f
• Esperanto: teoremo
• Estonian: teoreem
• Finnish: lause (fi), teoreema (fi)
• French: théorème (fr) m
• Galician: teorema m
• Georgian: თეორემა (teorema)
• German: Theorem (de) n, Satz (de) m, Lehrsatz m
• Greek: θεώρημα (el) n (theórima)

  Ancient: θεώρημα n (theṓrēma)

• Gujarati: પ્રમેય (prameya)
• Hebrew: מִשְׁפָּט (he) m (mishpát)
• Hindi: प्रमेय (hi) m (pramey)
• Hungarian: tétel (hu)
• Icelandic: setning (is) f, kennisetning f
• Indonesian: teorema (id)
• Irish: teoirim f
• Italian: teorema (it) m
• Japanese: 定理 (ja) (ていり, teiri)
• Kazakh: теорема (teorema)
• Khmer: ទ្រឹស្ដីបទ (km) (trɨhsdəybɑt)
• Korean: 정리(定理) (ko) (jeongni)
• Kurdish:

  Northern Kurdish: teorem (ku)

• Kyrgyz: теорема (teorema)
• Lao: ທິດສະດີບົດ (thit sa dī bot)
• Latin: theōrēma (la) n
• Latvian: teorēma f
• Lithuanian: teorema f
• Macedonian: теоре́ма f (teoréma)
• Malay: teorem
• Mongolian:

  Cyrillic: теорем (teorem)

• Norwegian:

  Bokmål: teorem n, læresetning m or f

  Nynorsk: teorem n, læresetning f

• Pashto: قضيه (ps) f (qazya)
• Persian: قضیه (fa) (qaziye, qaziyye)
• Polish: twierdzenie (pl) n
• Portuguese: teorema (pt) m
• Romanian: teoremă (ro) f
• Russian: теоре́ма (ru) f (teoréma)
• Serbo-Croatian:

  Cyrillic: теоре́ма f, тео̀ре̄м m

  Roman: teoréma f, teòrēm (sh) m

• Slovak: teorém m, veta f
• Slovene: izrek m, teorem m
• Spanish: teorema (es) m
• Swedish: teorem (sv) n, lärosats c, sats (sv) c
• Tagalog: hunain
• Tajik: теорема (teorema), қазия (qaziya)
• Thai: ทฤษฎีบท (th) (trít-sà-dii-bòt)
• Turkish: teorem (tr)
• Turkmen: teorema
• Ukrainian: теоре́ма f (teoréma)
• Urdu: قَضِیّہ m (qaziyyā)
• Uyghur: تېئورېما (të'orëma)
• Uzbek: teorema (uz)
• Vietnamese: định lí (vi)

mathematical statement that is expected to be true

• Arabic: مُبَرْهَنَة f (mubarhana)
• Chinese:

  Mandarin: 定理 (zh) (dìnglǐ)

• Czech: teorém (cs) m, teoréma f
• Dutch: vermoeden (nl) n
• Finnish: olettamus (fi)
• French: théorème (fr) m
• German: Theorem (de) n, Satz (de) m
• Greek: θεώρημα (el) n (theórima)
• Hebrew: מִשְׁפָּט (he) m (mishpát)
• Indonesian: teorema (id)
• Irish: teoirim f
• Japanese: 定理 (ja) (ていり, teiri)
• Korean: 정리(定理) (ko) (jeongni)
• Malay: teorem
• Norwegian:

  Bokmål: teorem n, læresetning m or f

  Nynorsk: teorem n, læresetning f

• Portuguese: conjectura (pt) f
• Russian: теоре́ма (ru) f (teoréma)
• Spanish: teoría (es) f, conjetura (es) f, suposición (es) f, especulación (es) f,
• Turkish: teorem (tr)

The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.

Translations to be checked

• Icelandic: ^{(please verify)} kennisetning f

Further reading

• theorem on Wikipedia.Wikipedia

Verb

theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)

1. (transitive) To formulate into a theorem.

Further reading

• “theorem”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.
• “theorem”, in The Century Dictionary […], New York, N.Y.: The Century Co., 1911, →OCLC.
• “theorem”, in OneLook Dictionary Search.