theorem en · NOUN
Pronunciation
- (Southern-England) audio
- /ˈθiː.ə.ɹəm/ (UK)
- /ˈθiərəm/ (US)
- /ˈθɪːɹ(ə)m/ (British, Southern, Standard)
- /ˈθɪrəm/ (US)
- /ˈθɪjəɹ(ə)m/ (British, Southern, Standard)
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éō, “to look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “to see, look”). See also theory, and theater.
Meanings
- 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.
-
(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.
- A syntactically correct expression that is deducible from the given axioms of a deductive system.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| theorems | Number=Plur | lexicographic |
Deriveds
countertheorem · theorematic · metatheorem · theoremic · nontheorem · theoremhood · antitheorem
Holonyms
Hypernyms
Hyponyms
Ax-Grothendieck theorem (unsorted) · orbit-stabilizer theorem (unsorted) · Hindman's theorem (Hyponyms of theorem (mathematics)) · Petersen's theorem (unsorted) · Vitali-Carathéodory theorem (unsorted) · Ehrenfest theorem (unsorted) · Fisher-Tippett-Gnedenko theorem (Hyponyms of theorem (mathematics)) · Abel-Ruffini theorem (unsorted) · Löb's theorem (unsorted) · Belyi's theorem (unsorted) · Heine-Borel theorem (unsorted) · Böhm-Jacopini theorem (Hyponyms of theorem (informatics)) · Mittag-Leffler's theorem (unsorted) · Blum's speedup theorem (unsorted) · extreme value theorem (Hyponyms of theorem (mathematics)) · Hirzebruch-Riemann-Roch theorem (Hyponyms of theorem (mathematics)) · Gauss-Lucas theorem (unsorted) · Sumihiro's theorem (unsorted) · infinite monkey theorem (unsorted) · Ramsey's theorem (unsorted) · squeeze theorem (unsorted) · Brun's theorem (unsorted) · Ptolemy's theorem (unsorted) · Stone-Weierstrass theorem (Hyponyms of theorem (mathematics)) · Ore's theorem (unsorted) · Fubini's theorem (unsorted) · Gelfond-Schneider theorem (unsorted) · Koopmans' theorem (unsorted) · Fermat's Last Theorem (Hyponyms of theorem (mathematics)) · fundamental theorem of calculus for line integrals (unsorted) · Krein-Milman theorem (unsorted) · Frucht's theorem (unsorted) · Rolle's theorem (unsorted) · mean value theorem (unsorted) · Castigliano's theorem (unsorted) · Bézout's theorem (unsorted) · Lagrange's theorem (Hyponyms of theorem (mathematics)) · commutant lifting theorem (unsorted) · Monsky's theorem (unsorted) · Thévenin's theorem (unsorted) · no free lunch theorem (unsorted) · Poincaré-Birkhoff-Witt theorem (unsorted) · Kutta-Joukowski theorem (unsorted) · no-go theorem (unsorted) · Maharam's theorem (unsorted) · ham sandwich theorem (unsorted) · Helly's theorem (unsorted) · Rice's theorem (unsorted) · Sperner's theorem (unsorted) · Cantor-Bendixson theorem (unsorted) · Goodstein's theorem (unsorted) · spectral theorem (unsorted) · Vinogradov's theorem (unsorted) · Gibbard-Satterthwaite theorem (unsorted) · Harnack's curve theorem (unsorted) · Price's theorem (unsorted) · Romanov's theorem (unsorted) · Feit-Thompson theorem (unsorted) · Hadwiger's theorem (unsorted) · Green's theorem (Hyponyms of theorem (mathematics)) · Kummer's theorem (unsorted) · Mordell-Weil theorem (unsorted) · Richardson's theorem (unsorted) · Whitney's theorem (unsorted) · Stone's representation theorem (unsorted) · Eggan's theorem (Hyponyms of theorem (mathematics)) · Church-Rosser theorem (unsorted) · Mayer-Norton theorem (unsorted) · Nernst heat theorem (Hyponyms of theorem (mathematics)) · rank-nullity theorem (unsorted) · Thales' theorem (Hyponyms of theorem (mathematics)) · Freiman's theorem (unsorted) · MRDP theorem (unsorted) · Solèr's theorem (unsorted) · Herglotz-Noether theorem (unsorted) · Parseval's theorem (unsorted) · Parthasarathy's theorem (Hyponyms of theorem (mathematics)) · Abel's impossibility theorem (unsorted) · Weierstrass-Lindemann theorem (unsorted) · Miquel's theorem (unsorted) · Lehmer's theorem (unsorted) · Menelaus' theorem (Hyponyms of theorem (mathematics)) · prime number theorem (unsorted) · Pasch's theorem (unsorted) · Gougu theorem (unsorted) · Sylow theorem (unsorted) · Hilbert's basis theorem (unsorted) · Gödel's theorem (Hyponyms of theorem (mathematics)) · midpoint theorem (unsorted) · Gottesman-Knill theorem (unsorted) · Menger's theorem (unsorted) · Gödel's incompleteness theorem (Hyponyms of theorem (mathematics)) · no-ghost theorem (unsorted) · Kelvin-Stokes theorem (Hyponyms of theorem (mathematics)) · Siegel-Walfisz theorem (unsorted) · Green-Tao theorem (unsorted) · cosine theorem (Hyponyms of theorem (mathematics)) · Noether's theorem (unsorted) · Veblen's theorem (unsorted) · Stark-Heegner theorem (unsorted) · Wigner-Eckart theorem (unsorted) · Cook-Levin theorem (Hyponyms of theorem (mathematics)) · Savitch's theorem (unsorted) · Szemerédi's theorem (Hyponyms of theorem (mathematics)) · Pythagoras' theorem (Hyponyms of theorem (mathematics)) · edge-of-the-wedge theorem (unsorted) · Brouwer fixed-point theorem (unsorted) · Sturm's theorem (unsorted) · fundamental theorem of arithmetic (Hyponyms of theorem (mathematics)) · Kazhdan-Margulis theorem (unsorted) · fluctuation theorem (unsorted) · Norton's theorem (unsorted) · Dirichlet's unit theorem (unsorted) · Haag's theorem (Hyponyms of theorem (mathematics)) · Jordan curve theorem (unsorted) · de Bruijn's theorem (unsorted) · Japanese theorem (unsorted) · Matiyasevich's theorem (unsorted) · de Moivre's theorem (unsorted) · Hurewicz theorem (unsorted) · Liouville's theorem (unsorted) · fundamental theorem (Hyponyms of theorem (mathematics)) · Helly-Bray theorem (unsorted) · Lefschetz fixed-point theorem (unsorted) · no-hair theorem (unsorted) · Tonelli's theorem (Hyponyms of theorem (mathematics)) · Stokes' theorem (Hyponyms of theorem (mathematics)) · Carnot's theorem (Hyponyms of theorem (mathematics)) · Ginsberg's theorem (unsorted) · time hierarchy theorem (Hyponyms of theorem (mathematics)) · monotone convergence theorem (unsorted) · Wallace-Bolyai-Gerwien theorem (unsorted) · Furry's theorem (unsorted) · Ceva's theorem (Hyponyms of theorem (mathematics)) · Fermat's little theorem (unsorted) · bathtub theorem (unsorted) · Löwenheim-Skolem theorem (unsorted) · Budan's theorem (unsorted) · Rissanen's theorem (unsorted) · perpendicular axis theorem (unsorted) · deduction theorem (unsorted) · Futurama theorem (unsorted) · Bloch's theorem (unsorted) · Wilks's theorem (unsorted) · Chinese remainder theorem (unsorted) · fundamental theorem of algebra (Hyponyms of theorem (mathematics)) · Runge's theorem (unsorted) · Helly's selection theorem (unsorted) · Nachbin's theorem (unsorted) · Ax-Kochen theorem (unsorted) · Størmer's theorem (unsorted) · Liouville-Arnold theorem (unsorted) · Zermelo's theorem (unsorted) · Kleene fixed-point theorem (unsorted) · Bruck-Ryser-Chowla theorem (unsorted) · Thue's theorem (unsorted) · Paris-Harrington theorem (Hyponyms of theorem (mathematics)) · Poynting's theorem (unsorted) · Sylvester-Gallai theorem (unsorted) · Kleene's recursion theorem (unsorted) · Kuratowski-Ulam theorem (unsorted) · Zeckendorf's theorem (unsorted) · four color theorem (unsorted) · Euclid's theorem (Hyponyms of theorem (mathematics)) · double angle theorem (Hyponyms of theorem (mathematics)) · Holevo's theorem (unsorted) · Gauss' theorem (Hyponyms of theorem (mathematics)) · Picard-Lindelöf theorem (unsorted) · Lindemann-Weierstrass theorem (unsorted) · central limit theorem (Hyponyms of theorem (mathematics)) · Lindelöf covering theorem (unsorted) · Kleene's fixed-point theorem (unsorted) · rational root theorem (unsorted) · sine theorem (Hyponyms of theorem (mathematics)) · Abel's irreducibility theorem (unsorted) · Goddard-Thorn theorem (unsorted) · Cantor's theorem (unsorted) · Coase theorem (unsorted) · Kruskal's tree theorem (unsorted) · fundamental theorem of calculus (unsorted) · Dvoretzky's theorem (Hyponyms of theorem (mathematics)) · Earnshaw's theorem (unsorted) · Castigliano's first theorem (unsorted) · Tauberian theorem (unsorted) · first isomorphism theorem (Hyponyms of theorem (mathematics)) · intermediate value theorem (unsorted) · Atiyah-Singer index theorem (unsorted) · Hjelmslev's theorem (unsorted) · Sprague-Grundy theorem (unsorted) · pancake theorem (unsorted) · Van der Waerden's theorem (Hyponyms of theorem (mathematics)) · Rado's theorem (Hyponyms of theorem (mathematics)) · Thales's theorem (unsorted) · Darboux's theorem (unsorted) · Bell's theorem (unsorted) · Tarski-Seidenberg theorem (unsorted) · parallel axis theorem (unsorted) · Pythagorean theorem (unsorted) · inscribed angle theorem (Hyponyms of theorem (mathematics)) · free will theorem (unsorted) · Kramers' theorem (unsorted) · Bayes' theorem (unsorted) · Hales-Jewett theorem (Hyponyms of theorem (mathematics)) · virial theorem (unsorted) · Morley's trisector theorem (unsorted) · Petersen-Morley theorem (unsorted) · Wick's theorem (unsorted) · Tarski's fixed-point theorem (unsorted) · Torricelli's theorem (unsorted) · Chebyshev's theorem (unsorted) · Radon's theorem (unsorted) · hairy ball theorem (unsorted) · Fermat's last theorem (unsorted) · Varignon's theorem (unsorted) · Bombieri-Friedlander-Iwaniec theorem (unsorted) · Brouwer's fixed-point theorem (unsorted) · Fisher-Tippett theorem (Hyponyms of theorem (mathematics)) · Bondareva-Shapley theorem (unsorted) · Pappus's hexagon theorem (unsorted) · Desargues's theorem (unsorted) · Grötzsch's theorem (unsorted) · intercept theorem (Hyponyms of theorem (mathematics)) · Sinkhorn's theorem (Hyponyms of theorem (mathematics)) · Bogoliubov-Parasyuk theorem (unsorted) · consensus theorem (unsorted) · Arrow's theorem (unsorted) · KS theorem (unsorted) · Roth's theorem (unsorted) · Milliken-Taylor theorem (Hyponyms of theorem (mathematics)) · Lickorish-Wallace theorem (unsorted) · Slutsky's theorem (unsorted) · Grothendieck-Riemann-Roch theorem (unsorted) · Fary-Milnor theorem (unsorted) · no-communication theorem (unsorted) · Kolmogorov-Arnold-Moser theorem (unsorted) · Kodaira vanishing theorem (unsorted) · De Morgan's theorem (Hyponyms of theorem (mathematics)) · Turán's theorem (Hyponyms of theorem (mathematics)) · Robertson-Seymour theorem (unsorted) · Bertrand-Chebyshev theorem (unsorted) · binomial theorem (Hyponyms of theorem (mathematics)) · Titchmarsh convolution theorem (unsorted) · Borsuk-Ulam theorem (unsorted) · Schur's theorem (Hyponyms of theorem (mathematics)) · complex conjugate root theorem (unsorted) · Euler's rotation theorem (unsorted) · Gomory's theorem (unsorted) · Geiringer-Laman theorem (unsorted) · de Bruijn-Erdős theorem (unsorted) · Kochen-Specker theorem (unsorted) · Bernoulli's theorem (Hyponyms of theorem (mathematics)) · Neukirch-Uchida theorem (unsorted) · Gleason's theorem (Hyponyms of theorem (mathematics)) · Brewer's theorem (unsorted) · Knaster-Tarski theorem (Hyponyms of theorem (mathematics)) · van der Waerden's theorem (unsorted) · Stewart's theorem (Hyponyms of theorem (mathematics)) · Clausius theorem (unsorted) · exterior angle theorem (Hyponyms of theorem (mathematics)) · divergence theorem (unsorted) · Gauss-Bonnet theorem (unsorted) · Cook's theorem (Hyponyms of theorem (mathematics)) · Bell-Kochen-Specker theorem (unsorted) · Herbrand-Ribet theorem (unsorted) · Abel's theorem (unsorted) · structured program theorem (Hyponyms of theorem (informatics)) · theorem of Pythagoras (unsorted) · midline theorem (unsorted) · Gibbard's theorem (unsorted) · Rado-Folkman-Sanders theorem (Hyponyms of theorem (mathematics)) · Brunn-Minkowski theorem (unsorted) · Sharkovskii's theorem (unsorted) · Schiffler's theorem (unsorted) · Kleene's theorem (unsorted) · Aumann's agreement theorem (Hyponyms of theorem (mathematics)) · Herbrand's theorem (unsorted) · Riemann-Roch theorem (unsorted) · Cayley's theorem (unsorted) · Castigliano's second theorem (unsorted) · scallop theorem (unsorted) · Chen's theorem (unsorted)
Relateds
theoretical · equation · Pythagorean theorem · proof · proposition · central limit theorem · definition · Appendix:Roget MICRA thesaurus/Class IV § 454. Topic · inequality · formula · Special:Search/intitle:/ theorem/ · axiom · conjecture · law of nature · theorize · mathematics · binomial theorem · lemma · theory · principle · corollary
Synonyms
proposition · statement · lemma (proven statement) · conjecture (unproven statement) · hypothesis (unproven statement) · theorem
Translations (111)
ru теоре́ма (mathematical statement that is expected to be true) · ms teorem (mathematical statement that is expected to be true) · gl teorema (proved mathematical statement) · da teorem (proved mathematical statement) · nl stelling (proved mathematical statement) · eo teoremo (proved mathematical statement) · cmn 定理 (proved mathematical statement) · da læresætning (proved mathematical statement) · ko 정리 (mathematical statement that is expected to be true) · sh teòrēm (proved mathematical statement) · vi định lí (proved mathematical statement) · gu પ્રમેય (proved mathematical statement) · is setning (proved mathematical statement) · grc θεώρημα (proved mathematical statement) · ca teorema (proved mathematical statement) · de Lehrsatz (proved mathematical statement) · km ទ្រឹស្ដីបទ (proved mathematical statement) · sh teoréma (proved mathematical statement) · tk teorema (proved mathematical statement) · sh тео̀ре̄м (proved mathematical statement) · hy թեորեմ (proved mathematical statement) · lv teorēma (proved mathematical statement) · ro teoremă (proved mathematical statement) · ar مُبَرْهَنَة (proved mathematical statement) · sl izrek (proved mathematical statement) · cmn 定理 (mathematical statement that is expected to be true) · kmr teorem (proved mathematical statement) · ga teoirim (mathematical statement that is expected to be true) · az teorem (proved mathematical statement) · mn теорем (proved mathematical statement) · bg теорема (mathematical statement that is expected to be true) · fi olettamus (mathematical statement that is expected to be true) · be тэарэ́ма (proved mathematical statement) · es especulación (mathematical statement that is expected to be true) · la theōrēma (proved mathematical statement) · el θεώρημα (mathematical statement that is expected to be true) · fr théorème (proved mathematical statement) · lo ທິດສະດີບົດ (proved mathematical statement) · cs teoréma (mathematical statement that is expected to be true) · nn teorem (proved mathematical statement) · tl hunain (proved mathematical statement) · id teorema (proved mathematical statement) · nb teorem (proved mathematical statement) · he מִשְׁפָּט (mathematical statement that is expected to be true) · nb læresetning (mathematical statement that is expected to be true) · ar مُبَرْهَنَة (mathematical statement that is expected to be true) · sq teoremë (proved mathematical statement) · ms teorem (proved mathematical statement) · is kennisetning (proved mathematical statement) · nb læresetning (proved mathematical statement) · pt teorema (proved mathematical statement) · sl teorem (proved mathematical statement) · hi प्रमेय (proved mathematical statement) · de Theorem (proved mathematical statement) · tg теорема (proved mathematical statement) · tr teorem (proved mathematical statement) · lt teorema (proved mathematical statement) · nb teorem (mathematical statement that is expected to be true) · fr théorème (mathematical statement that is expected to be true) · id teorema (mathematical statement that is expected to be true) · ru теоре́ма (proved mathematical statement) · th ทฤษฎีบท (proved mathematical statement) · ga teoirim (proved mathematical statement) · fi lause (proved mathematical statement) · ug تېئورېما (proved mathematical statement) · et teoreem (proved mathematical statement) · kk теорема (proved mathematical statement) · ur قَضِیّہ (proved mathematical statement) · ps قضيه (proved mathematical statement) · es teoría (mathematical statement that is expected to be true) · ja 定理 (mathematical statement that is expected to be true) · uz teorema (proved mathematical statement) · nl theorema (proved mathematical statement) · tg қазия (proved mathematical statement) · de Satz (mathematical statement that is expected to be true) · he מִשְׁפָּט (proved mathematical statement) · bg теоре́ма (proved mathematical statement) · fi teoreema (proved mathematical statement) · nn teorem (mathematical statement that is expected to be true) · ja 定理 (proved mathematical statement) · bn উপপাদ্য (proved mathematical statement) · de Satz (proved mathematical statement) · pl twierdzenie (proved mathematical statement) · el θεώρημα (proved mathematical statement) · cs teorém (mathematical statement that is expected to be true) · uk теоре́ма (proved mathematical statement) · sv lärosats (proved mathematical statement) · sv sats (proved mathematical statement) · es suposición (mathematical statement that is expected to be true) · ky теорема (proved mathematical statement) · ba теорема (proved mathematical statement) · it teorema (proved mathematical statement) · pt conjectura (mathematical statement that is expected to be true) · cs věta (proved mathematical statement) · es conjetura (mathematical statement that is expected to be true) · sk teorém (proved mathematical statement) · ka თეორემა (proved mathematical statement) · ko 정리 (proved mathematical statement) · mk теоре́ма (proved mathematical statement) · de Theorem (mathematical statement that is expected to be true) · hu tétel (proved mathematical statement) · nn læresetning (proved mathematical statement) · es teorema (proved mathematical statement) · nn læresetning (mathematical statement that is expected to be true) · ar نَظَرِيَّة (proved mathematical statement) · sk veta (proved mathematical statement) · sv teorem (proved mathematical statement) · sh теоре́ма (proved mathematical statement) · fa قضیه (proved mathematical statement) · tr teorem (mathematical statement that is expected to be true) · nl vermoeden (mathematical statement that is expected to be true)