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
• 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
• Szemerédi's theorem
• Thales' theorem
• Turán's theorem
• Van der Waerden'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
• Bruck-Ryser-Chowla theorem
• Brun'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
• consensus theorem
• de Bruijn-Erdős theorem
• de Bruijn's theorem
• deduction theorem
• de Moivre's theorem
• Euler's rotation theorem
• Fary-Milnor theorem
• Feit-Thompson theorem
• Fermat's little theorem
• fluctuation theorem
• four color theorem
• free will theorem
• Futurama theorem
• Gauss-Bonnet theorem
• Gelfond-Schneider theorem
• Gibbard-Satterthwaite theorem
• Gibbard's theorem
• Ginsberg's theorem
• Goddard-Thorn theorem
• Gomory's theorem
• Goodstein's theorem
• Gougu 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
• Hilbert's basis theorem
• Hjelmslev's theorem
• Holevo's theorem
• Hurewicz theorem
• infinite monkey theorem
• intermediate value theorem
• Jordan curve theorem
• Kochen-Specker theorem
• Kodaira vanishing theorem
• Krein-Milman theorem
• Kruskal's tree theorem
• KS theorem
• Kummer's 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
• mean value theorem
• Menger's theorem
• Miquel's theorem
• Mittag-Leffler's 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
• orbit-stabilizer theorem
• Ore's theorem
• other derived terms (unsorted by topic)
• parallel axis theorem
• Parseval's theorem
• Pasch's theorem
• perpendicular axis theorem
• Petersen's theorem
• Picard-Lindelöf theorem
• Poincaré-Birkhoff-Witt theorem
• Price's theorem
• prime number theorem
• Ptolemy's theorem
• Pythagorean theorem
• Radon's theorem
• Ramsey's theorem
• rank-nullity theorem
• Rice's theorem
• Richardson's 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
• Sturm's theorem
• Størmer's theorem
• Sumihiro's theorem
• Sylow theorem
• Sylvester-Gallai theorem
• Tarski-Seidenberg theorem
• Tauberian theorem
• Thales's theorem
• Thue's theorem
• Titchmarsh convolution theorem
• Varignon's theorem
• Veblen'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: теорема (teorema)
• 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í

mathematical statement that is expected to be true

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

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

• Czech: teorém 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.