theorem 🔊 noun UK /ˈθiː.ə.ɹəm/ · US /ˈθiərəm/
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.
1 Mathematics , Sciences 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.
Fermat's Last Theorem was known thus long before it was proved in the 1990s. 3 Human sciences, Logic , Mathematics , Philosophy , Sciences A syntactically correct expression that is deducible from the given axioms of a deductive system.
Related terms theoretical , theorize , theory , axiom , corollary , lemma , proof , proposition , definition , conjecture , law of nature , principle , equation , inequality , formula , mathematics , Special:Search/intitle:/ theorem/, Appendix:Roget MICRA thesaurus/Class IV § 454. TopicHyponyms 276 terms Böhm-Jacopini theorem, structured program theorem, Aumann's agreement theorem, Bernoulli's theorem, binomial theorem, Carnot's theorem, central limit theorem , Ceva's theorem, Cook-Levin theorem, Cook's theorem, cosine theorem, De Morgan's theorem, double angle theorem, Dvoretzky's theorem, Eggan's theorem, Euclid's theorem, exterior angle theorem, extreme value theorem, Fermat's Last Theorem, first isomorphism theorem, Fisher-Tippett-Gnedenko theorem, Fisher-Tippett theorem, fundamental theorem , fundamental theorem of algebra, fundamental theorem of arithmetic, Gauss' theorem, Gleason's theorem, Gödel's incompleteness theorem, Gödel's theorem, Green's theorem, Haag's theorem, Hales-Jewett theorem, Hindman's theorem, Hirzebruch-Riemann-Roch theorem, inscribed angle theorem, intercept theorem, Kelvin-Stokes theorem, Knaster-Tarski theorem, Lagrange's theorem , Menelaus' theorem, Milliken-Taylor theorem, Nernst heat theorem, Paris-Harrington theorem, Parthasarathy's theorem, Pythagoras' theorem, Rado-Folkman-Sanders theorem, Rado's theorem, Schur's theorem, sine theorem, Sinkhorn's theorem, Stokes' theorem, Stone-Weierstrass theorem, Szemerédi's theorem, Thales' theorem, time hierarchy theorem , Tonelli's 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, Bogoliubov-Parasyuk theorem, Bombieri-Friedlander-Iwaniec theorem, Bondareva-Shapley theorem, Borsuk-Ulam 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, Castigliano's first theorem, Castigliano's second theorem, Castigliano'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, Dirichlet's unit theorem, divergence theorem, Earnshaw's theorem, edge-of-the-wedge 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, Frucht's theorem, Fubini's theorem, fundamental theorem of calculus, fundamental theorem of calculus for line integrals, Futurama theorem, Gauss-Bonnet theorem, Gauss-Lucas theorem, Geiringer-Laman theorem, Gelfond-Schneider theorem, Gibbard-Satterthwaite theorem, Gibbard's theorem, Ginsberg's theorem, Goddard-Thorn theorem, Gomory's theorem, Goodstein's theorem, Gottesman-Knill theorem, Gougu theorem, Green-Tao theorem, Grothendieck-Riemann-Roch theorem, Grötzsch's 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, Kramers' 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, Mordell-Weil 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, Schiffler's 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, Wallace-Bolyai-Gerwien theorem, Weierstrass-Lindemann theorem, Whitney's theorem, Wick's theorem, Wigner-Eckart theorem, Wilks's theorem, Zeckendorf's theorem, Zermelo's theorem
theorem 🔊 verb 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.
1 To formulate into a theorem.