theorem
Language: English
Part of speech: noun
Pronunciation: ipa: /ˈθiː.ə.ɹəm/
ipa: /ˈθɪəɹ.əm/
rhymes: (US) -ɪəɹəm
Forms: form: theorems
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.
Senses: topics: mathematics
sciences
glosses: 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.
examples: text: Fermat's Last Theorem was known thus long before it was proved in the 1990s.
topics: mathematics
sciences
glosses: A mathematical statement that is expected to be true.
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A syntactically correct expression that is deducible from the given axioms of a deductive system.
Synonyms: sense: proven statement
word: lemma
word: proposition
word: statement
sense: unproven statement
word: conjecture
word: theorem
Hypernyms: word: statement
Hyponyms: sense: Hyponyms of theorem (informatics)
word: Böhm-Jacopini theorem
sense: Hyponyms of theorem (informatics)
word: structured program theorem
sense: Hyponyms of theorem (mathematics)
word: Aumann's agreement theorem
sense: Hyponyms of theorem (mathematics)
word: Bernoulli's theorem
sense: Hyponyms of theorem (mathematics)
word: binomial theorem
sense: Hyponyms of theorem (mathematics)
word: Carnot's theorem
sense: Hyponyms of theorem (mathematics)
word: central limit theorem
sense: Hyponyms of theorem (mathematics)
word: Ceva's theorem
sense: Hyponyms of theorem (mathematics)
word: Cook-Levin theorem
sense: Hyponyms of theorem (mathematics)
word: Cook's theorem
sense: Hyponyms of theorem (mathematics)
word: cosine theorem
sense: Hyponyms of theorem (mathematics)
word: De Morgan's theorem
sense: Hyponyms of theorem (mathematics)
word: double angle theorem
sense: Hyponyms of theorem (mathematics)
word: Dvoretzky's theorem
sense: Hyponyms of theorem (mathematics)
word: Eggan's theorem
sense: Hyponyms of theorem (mathematics)
word: Euclid's theorem
sense: Hyponyms of theorem (mathematics)
word: exterior angle theorem
sense: Hyponyms of theorem (mathematics)
word: extreme value theorem
sense: Hyponyms of theorem (mathematics)
word: Fermat's Last Theorem
sense: Hyponyms of theorem (mathematics)
word: Fisher-Tippett-Gnedenko theorem
sense: Hyponyms of theorem (mathematics)
word: Fisher-Tippett theorem
sense: Hyponyms of theorem (mathematics)
word: fundamental theorem
sense: Hyponyms of theorem (mathematics)
word: fundamental theorem of algebra
sense: Hyponyms of theorem (mathematics)
word: fundamental theorem of arithmetic
sense: Hyponyms of theorem (mathematics)
word: Gauss' theorem
sense: Hyponyms of theorem (mathematics)
word: Gleason's theorem
sense: Hyponyms of theorem (mathematics)
word: Gödel's incompleteness theorem
sense: Hyponyms of theorem (mathematics)
word: Gödel's theorem
sense: Hyponyms of theorem (mathematics)
word: Green's theorem
sense: Hyponyms of theorem (mathematics)
word: Haag's theorem
sense: Hyponyms of theorem (mathematics)
word: Hales-Jewett theorem
sense: Hyponyms of theorem (mathematics)
word: Hindman's theorem
sense: Hyponyms of theorem (mathematics)
word: Hirzebruch-Riemann-Roch theorem
sense: Hyponyms of theorem (mathematics)
word: inscribed angle theorem
sense: Hyponyms of theorem (mathematics)
word: intercept theorem
sense: Hyponyms of theorem (mathematics)
word: Kelvin-Stokes theorem
sense: Hyponyms of theorem (mathematics)
word: Knaster-Tarski theorem
sense: Hyponyms of theorem (mathematics)
word: Menelaus' theorem
sense: Hyponyms of theorem (mathematics)
word: Milliken-Taylor theorem
sense: Hyponyms of theorem (mathematics)
word: Nernst heat theorem
sense: Hyponyms of theorem (mathematics)
word: Paris-Harrington theorem
sense: Hyponyms of theorem (mathematics)
word: Parthasarathy's theorem
sense: Hyponyms of theorem (mathematics)
word: Pythagoras' theorem
sense: Hyponyms of theorem (mathematics)
word: Rado-Folkman-Sanders theorem
sense: Hyponyms of theorem (mathematics)
word: Rado's theorem
sense: Hyponyms of theorem (mathematics)
word: Schur's theorem
sense: Hyponyms of theorem (mathematics)
word: sine theorem
sense: Hyponyms of theorem (mathematics)
word: Stokes' theorem
sense: Hyponyms of theorem (mathematics)
word: Stone-Weierstrass theorem
sense: Hyponyms of theorem (mathematics)
word: Szemerédi's theorem
sense: Hyponyms of theorem (mathematics)
word: Thales' theorem
sense: Hyponyms of theorem (mathematics)
word: time hierarchy theorem
sense: Hyponyms of theorem (mathematics)
word: Tonelli's theorem
sense: Hyponyms of theorem (mathematics)
word: Turán's theorem
sense: Hyponyms of theorem (mathematics)
word: Van der Waerden's theorem
word: Abel-Ruffini theorem
word: Abel's impossibility theorem
word: Abel's irreducibility theorem
word: Abel's theorem
word: Arrow's theorem
word: Atiyah-Singer index theorem
word: Ax-Grothendieck theorem
word: Ax-Kochen theorem
word: bathtub theorem
word: Bayes' theorem
word: Bell-Kochen-Specker theorem
word: Bell's theorem
word: Belyi's theorem
word: Bertrand-Chebyshev theorem
word: Bézout's theorem
word: Bloch's theorem
word: Blum's speedup theorem
word: Bogoliubov-Parasyuk theorem
word: Bombieri-Friedlander-Iwaniec theorem
word: Bondareva-Shapley theorem
word: Borsuk-Ulam theorem
word: Brewer's theorem
word: Brouwer fixed-point theorem
word: Brouwer's fixed-point theorem
word: Bruck-Ryser-Chowla theorem
word: Brunn-Minkowski theorem
word: Brun's theorem
word: Budan's theorem
word: Cantor-Bendixson theorem
word: Cantor's theorem
word: Castigliano's first theorem
word: Castigliano's second theorem
word: Castigliano's theorem
word: Cayley's theorem
word: Chebyshev's theorem
word: Chen's theorem
word: Chinese remainder theorem
word: Church-Rosser theorem
word: Clausius theorem
word: Coase theorem
word: commutant lifting theorem
word: complex conjugate root theorem
word: consensus theorem
word: Darboux's theorem
word: de Bruijn-Erdős theorem
word: de Bruijn's theorem
word: deduction theorem
word: de Moivre's theorem
word: Desargues's theorem
word: Dirichlet's unit theorem
word: divergence theorem
word: Earnshaw's theorem
word: edge-of-the-wedge theorem
word: Ehrenfest theorem
word: Euler's rotation theorem
word: Fary-Milnor theorem
word: Feit-Thompson theorem
word: Fermat's last theorem
word: Fermat's little theorem
word: fluctuation theorem
word: four color theorem
word: free will theorem
word: Freiman's theorem
word: Frucht's theorem
word: Fubini's theorem
word: fundamental theorem of calculus
word: fundamental theorem of calculus for line integrals
word: Futurama theorem
word: Gauss-Bonnet theorem
word: Gauss-Lucas theorem
word: Geiringer-Laman theorem
word: Gelfond-Schneider theorem
word: Gibbard-Satterthwaite theorem
word: Gibbard's theorem
word: Ginsberg's theorem
word: Goddard-Thorn theorem
word: Gomory's theorem
word: Goodstein's theorem
word: Gottesman-Knill theorem
word: Gougu theorem
word: Green-Tao theorem
word: Grothendieck-Riemann-Roch theorem
word: Grötzsch's theorem
word: Hadwiger's theorem
word: hairy ball theorem
word: ham sandwich theorem
word: Harnack's curve theorem
word: Heine-Borel theorem
word: Helly-Bray theorem
word: Helly's selection theorem
word: Helly's theorem
word: Herbrand-Ribet theorem
word: Herbrand's theorem
word: Herglotz-Noether theorem
word: Hilbert's basis theorem
word: Hjelmslev's theorem
word: Holevo's theorem
word: Hurewicz theorem
word: infinite monkey theorem
word: intermediate value theorem
word: Japanese theorem
word: Jordan curve theorem
word: Kazhdan-Margulis theorem
word: Kleene fixed-point theorem
word: Kleene's fixed-point theorem
word: Kleene's recursion theorem
word: Kleene's theorem
word: Kochen-Specker theorem
word: Kodaira vanishing theorem
word: Kolmogorov-Arnold-Moser theorem
word: Koopmans' theorem
word: Kramers' theorem
word: Krein-Milman theorem
word: Kruskal's tree theorem
word: KS theorem
word: Kummer's theorem
word: Kuratowski-Ulam theorem
word: Kutta-Joukowski theorem
word: Lefschetz fixed-point theorem
word: Lickorish-Wallace theorem
word: Lindelöf covering theorem
word: Lindemann-Weierstrass theorem
word: Liouville-Arnold theorem
word: Löb's theorem
word: Löwenheim-Skolem theorem
word: Maharam's theorem
word: Matiyasevich's theorem
word: Mayer-Norton theorem
word: mean value theorem
word: Menger's theorem
word: midline theorem
word: midpoint theorem
word: Miquel's theorem
word: Mittag-Leffler's theorem
word: monotone convergence theorem
word: Monsky's theorem
word: Mordell-Weil theorem
word: Morley's trisector theorem
word: MRDP theorem
word: Nachbin's theorem
word: Neukirch-Uchida theorem
word: no-communication theorem
word: Noether's theorem
word: no free lunch theorem
word: no-ghost theorem
word: no-go theorem
word: no-hair theorem
word: Norton's theorem
word: orbit-stabilizer theorem
word: Ore's theorem
word: pancake theorem
word: Pappus's hexagon theorem
word: parallel axis theorem
word: Parseval's theorem
word: Pasch's theorem
word: perpendicular axis theorem
word: Petersen-Morley theorem
word: Petersen's theorem
word: Picard-Lindelöf theorem
word: Poincaré-Birkhoff-Witt theorem
word: Poynting's theorem
word: Price's theorem
word: prime number theorem
word: Ptolemy's theorem
word: Pythagorean theorem
word: Radon's theorem
word: Ramsey's theorem
word: rank-nullity theorem
word: rational root theorem
word: Rice's theorem
word: Richardson's theorem
word: Riemann-Roch theorem
word: Robertson-Seymour theorem
word: Rolle's theorem
word: Romanov's theorem
word: Roth's theorem
word: Runge's theorem
word: Savitch's theorem
word: scallop theorem
word: Schiffler's theorem
word: Sharkovskii's theorem
word: Siegel-Walfisz theorem
word: Slutsky's theorem
word: Solèr's theorem
word: spectral theorem
word: Sperner's theorem
word: Sprague-Grundy theorem
word: squeeze theorem
word: Stark-Heegner theorem
word: Stone's representation theorem
word: Størmer's theorem
word: Sturm's theorem
word: Sumihiro's theorem
word: Sylow theorem
word: Sylvester-Gallai theorem
word: Tarski-Seidenberg theorem
word: Tarski's fixed-point theorem
word: Tauberian theorem
word: Thales's theorem
word: theorem of Pythagoras
word: Thévenin's theorem
word: Thue's theorem
word: Titchmarsh convolution theorem
word: Torricelli's theorem
word: van der Waerden's theorem
word: Varignon's theorem
word: Veblen's theorem
word: Vinogradov's theorem
word: virial theorem
word: Vitali-Carathéodory theorem
word: Weierstrass-Lindemann theorem
word: Whitney's theorem
word: Wick's theorem
word: Wigner-Eckart theorem
word: Wilks's theorem
word: Zeckendorf's theorem
word: Zermelo's theorem
Related terms: word: theoretical
word: theory
word: proposition
word: lemma
word: definition
word: proof
word: axiom
word: conjecture
word: law of nature
word: principle
word: equation
word: inequality
word: formula
word: mathematics
word: Special:Search/intitle:/ theorem/
word: Appendix:Roget MICRA thesaurus/Class IV § 454. Topic