"theorem" meaning in English

See theorem in All languages combined, or Wiktionary

Noun

IPA: /ˈθiː.ə.ɹəm/ [UK], /ˈθɪəɹ.əm/ [US] Audio: LL-Q1860 (eng)-Vealhurl-theorem.wav [Southern-England] Forms: theorems [plural]
Rhymes: (US) -ɪəɹə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éō, “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. Etymology templates: {{der|en|frm|théorème}} Middle French théorème, {{der|en|LL.|theōrēma}} Late Latin theōrēma, {{der|en|grc|θεώρημα||speculation, proposition to be proved}} Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”), {{m|grc|θεωρέω||I look at, view, consider, examine}} θεωρέω (theōréō, “I look at, view, consider, examine”), {{m|grc|θεωρός||spectator}} θεωρός (theōrós, “spectator”), {{m|grc|θέα||a view}} θέα (théa, “a view”), {{m|grc|ὁράω||I see, look}} ὁράω (horáō, “I see, look”), {{m|en|theory}} theory, {{m|en|theater}} theater Head templates: {{en-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. Categories (topical): Mathematics
    Sense id: en-theorem-en-noun-jx9xJ0BD Categories (other): English entries with incorrect language header Disambiguation of English entries with incorrect language header: 32 8 35 25 Topics: mathematics, sciences
  2. (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true Tags: colloquial, nonstandard Categories (topical): Mathematics Translations (mathematical statement that is expected to be true): مُبَرْهَنَة (mubarhana) [feminine] (Arabic), 定理 (dìnglǐ) (Chinese Mandarin), teorém [masculine] (Czech), teoréma [feminine] (Czech), vermoeden [neuter] (Dutch), olettamus (Finnish), théorème [masculine] (French), Theorem [neuter] (German), Satz [masculine] (German), θεώρημα (theórima) [neuter] (Greek), מִשְׁפָּט (mishpát) [masculine] (Hebrew), teorema (Indonesian), teoirim [feminine] (Irish), 定理 (teiri) (alt: ていり) (Japanese), 정리 (jeongni) (alt: 定理) (Korean), teorem (Malay), teorem [neuter] (Norwegian Bokmål), læresetning [feminine, masculine] (Norwegian Bokmål), teorem [neuter] (Norwegian Nynorsk), læresetning [feminine] (Norwegian Nynorsk), conjectura [feminine] (Portuguese), теоре́ма (teoréma) [feminine] (Russian), teoría [feminine] (Spanish), conjetura [feminine] (Spanish), suposición [feminine] (Spanish), especulación [feminine] (Spanish), teorem (Turkish)
    Sense id: en-theorem-en-noun-6Ro9ootQ Topics: mathematics, sciences Disambiguation of 'mathematical statement that is expected to be true': 15 81 4
  3. (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system. Categories (topical): Logic
    Sense id: en-theorem-en-noun-sKSHP~-P Categories (other): English entries with incorrect language header Disambiguation of English entries with incorrect language header: 32 8 35 25 Topics: human-sciences, logic, mathematics, philosophy, sciences
The following are not (yet) sense-disambiguated
Synonyms: proposition, statement, theorem Synonyms (proven statement): lemma Synonyms (unproven statement): conjecture Hypernyms: statement Holonyms: theory Translations (proved mathematical statement): teoremë [feminine] (Albanian), θεώρημα (theṓrēma) [neuter] (Ancient Greek), مُبَرْهَنَة (mubarhana) [feminine] (Arabic), نَظَرِيَّة (naẓariyya) [feminine] (Arabic), թեորեմ (tʿeorem) (Armenian), teorem (Azerbaijani), теорема (teorema) (Bashkir), тэарэ́ма (tearéma) [feminine] (Belarusian), উপপাদ্য (upopaddo) (Bengali), теоре́ма (teoréma) [feminine] (Bulgarian), teorema [masculine] (Catalan), 定理 (dìnglǐ) (Chinese Mandarin), věta [feminine] (Czech), teorem [neuter] (Danish), læresætning [common-gender] (Danish), theorema [masculine] (Dutch), stelling [feminine] (Dutch), leerstelling [feminine] (Dutch), teoremo (Esperanto), teoreem (Estonian), lause (Finnish), teoreema (Finnish), théorème [masculine] (French), teorema [masculine] (Galician), თეორემა (teorema) (Georgian), Theorem [neuter] (German), Satz [masculine] (German), Lehrsatz [masculine] (German), θεώρημα (theórima) [neuter] (Greek), પ્રમેય (prameya) (Gujarati), מִשְׁפָּט (mishpát) [masculine] (Hebrew), प्रमेय (pramey) [masculine] (Hindi), tétel (Hungarian), setning [feminine] (Icelandic), kennisetning [feminine] (Icelandic), teorema (Indonesian), teoirim [feminine] (Irish), teorema [masculine] (Italian), 定理 (teiri) (alt: ていり) (Japanese), теорема (teorema) (Kazakh), ទ្រឹស្ដីបទ (trɨhsdəybɑt) (Khmer), 정리 (jeongni) (alt: 定理) (Korean), теорема (teorema) (Kyrgyz), ທິດສະດີບົດ (thit sa dī bot) (Lao), theōrēma [neuter] (Latin), teorēma [feminine] (Latvian), teorema [feminine] (Lithuanian), теоре́ма (teoréma) [feminine] (Macedonian), teorem (Malay), теорем (teorem) [Cyrillic] (Mongolian), teorem (Northern Kurdish), teorem [neuter] (Norwegian Bokmål), læresetning [feminine, masculine] (Norwegian Bokmål), teorem [neuter] (Norwegian Nynorsk), læresetning [feminine] (Norwegian Nynorsk), قضيه (qazya) [feminine] (Pashto), قضیه (qaziye, qaziyye) (Persian), twierdzenie [neuter] (Polish), teorema [masculine] (Portuguese), teoremă [feminine] (Romanian), теоре́ма (teoréma) [feminine] (Russian), теоре́ма [Cyrillic, feminine] (Serbo-Croatian), тео̀ре̄м [Cyrillic, masculine] (Serbo-Croatian), teoréma [Roman, feminine] (Serbo-Croatian), teòrēm [Roman, masculine] (Serbo-Croatian), teorém [masculine] (Slovak), veta [feminine] (Slovak), izrek [masculine] (Slovene), teorem [masculine] (Slovene), teorema [masculine] (Spanish), teorem [neuter] (Swedish), lärosats [common-gender] (Swedish), sats [common-gender] (Swedish), hunain (Tagalog), теорема (teorema) (Tajik), қазия (qaziya) (Tajik), ทฤษฎีบท (trít-sà-dii-bòt) (Thai), teorem (Turkish), teorema (Turkmen), теоре́ма (teoréma) [feminine] (Ukrainian), قَضِیّہ (qaziyyā) [masculine] (Urdu), تېئورېما (të'orëma) (Uyghur), teorema (Uzbek), định lí (Vietnamese)
Disambiguation of 'proven statement': 43 36 21 Disambiguation of 'unproven statement': 34 39 27 Hyponyms: Böhm-Jacopini theorem, structured program theorem, 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, diamond 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, 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, 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, Sturm's theorem, Størmer'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 Related terms: theoretical, theory, proposition, lemma, definition, proof, axiom, conjecture, law of nature, principle, equation, inequality, formula, mathematics, Search/intitle:/ theorem/, Appendix:Roget MICRA thesaurus/Class IV § 454. Topic Disambiguation of 'proved mathematical statement': 40 44 17

Verb

IPA: /ˈθiː.ə.ɹəm/ [UK], /ˈθɪəɹ.əm/ [US] Audio: LL-Q1860 (eng)-Vealhurl-theorem.wav [Southern-England] Forms: theorems [present, singular, third-person], theoreming [participle, present], theoremed [participle, past], theoremed [past]
Rhymes: (US) -ɪəɹə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éō, “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. Etymology templates: {{der|en|frm|théorème}} Middle French théorème, {{der|en|LL.|theōrēma}} Late Latin theōrēma, {{der|en|grc|θεώρημα||speculation, proposition to be proved}} Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”), {{m|grc|θεωρέω||I look at, view, consider, examine}} θεωρέω (theōréō, “I look at, view, consider, examine”), {{m|grc|θεωρός||spectator}} θεωρός (theōrós, “spectator”), {{m|grc|θέα||a view}} θέα (théa, “a view”), {{m|grc|ὁράω||I see, look}} ὁράω (horáō, “I see, look”), {{m|en|theory}} theory, {{m|en|theater}} theater Head templates: {{en-verb}} theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)
  1. (transitive) To formulate into a theorem. Tags: transitive
    Sense id: en-theorem-en-verb-yvkzFpd- Categories (other): English entries with incorrect language header Disambiguation of English entries with incorrect language header: 32 8 35 25

Inflected forms

Alternative forms

Download JSON data for theorem meaning in English (38.4kB)

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "théorème"
      },
      "expansion": "Middle French théorème",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "LL.",
        "3": "theōrēma"
      },
      "expansion": "Late Latin theōrēma",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "θεώρημα",
        "4": "",
        "5": "speculation, proposition to be proved"
      },
      "expansion": "Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρέω",
        "3": "",
        "4": "I look at, view, consider, examine"
      },
      "expansion": "θεωρέω (theōréō, “I look at, view, consider, examine”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρός",
        "3": "",
        "4": "spectator"
      },
      "expansion": "θεωρός (theōrós, “spectator”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θέα",
        "3": "",
        "4": "a view"
      },
      "expansion": "θέα (théa, “a view”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "ὁράω",
        "3": "",
        "4": "I see, look"
      },
      "expansion": "ὁράω (horáō, “I see, look”)",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theory"
      },
      "expansion": "theory",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theater"
      },
      "expansion": "theater",
      "name": "m"
    }
  ],
  "etymology_text": "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.",
  "forms": [
    {
      "form": "theorems",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "theorem (plural theorems)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "_dis1": "0 0 0",
      "word": "theory"
    }
  ],
  "hypernyms": [
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "statement"
    }
  ],
  "hyponyms": [
    {
      "_dis1": "0 0 0",
      "word": "Böhm-Jacopini theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "structured program theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bernoulli's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "binomial theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "central limit theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ceva's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "cosine theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "De Morgan's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "double angle theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Dvoretzky's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Euclid's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "exterior angle theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Fermat's Last Theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "fundamental theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "fundamental theorem of algebra"
    },
    {
      "_dis1": "0 0 0",
      "word": "fundamental theorem of arithmetic"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gauss' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gleason's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gödel's incompleteness theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Green's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Haag's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hales-Jewett theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hindman's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "inscribed angle theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "intercept theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Knaster-Tarski theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Menelaus' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Milliken-Taylor theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Paris-Harrington theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Pythagoras' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Rado-Folkman-Sanders theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Rado's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Schur's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "sine theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Stokes' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Stone-Weierstrass theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Szemerédi's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Thales' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "time hierarchy theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Turán's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Van der Waerden's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Abel-Ruffini theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Abel's impossibility theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Abel's irreducibility theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Abel's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Arrow's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Atiyah-Singer index theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ax-Grothendieck theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ax-Kochen theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "bathtub theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bayes' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bell-Kochen-Specker theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bell's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Belyi's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bertrand-Chebyshev theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bézout's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bloch's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Blum's speedup theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bombieri-Friedlander-Iwaniec theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bondareva-Shapley theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Brewer's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Brouwer fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Brouwer's fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Bruck-Ryser-Chowla theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Brunn-Minkowski theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Brun's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Budan's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Cantor-Bendixson theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Cantor's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Cayley's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Chebyshev's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Chen's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Chinese remainder theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Church-Rosser theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Clausius theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Coase theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "commutant lifting theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "complex conjugate root theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "consensus theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Darboux's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "de Bruijn-Erdős theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "de Bruijn's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "deduction theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "de Moivre's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Desargues's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "diamond theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Earnshaw's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ehrenfest theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Euler's rotation theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Fary-Milnor theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Feit-Thompson theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Fermat's last theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Fermat's little theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "fluctuation theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "four color theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "free will theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Freiman's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Futurama theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gauss-Bonnet theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gauss-Lucas theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gelfond-Schneider theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gibbard-Satterthwaite theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gibbard's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ginsberg's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Goddard-Thorn theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gomory's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Goodstein's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Gougu theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Green-Tao theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Grothendieck-Riemann-Roch theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hadwiger's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "hairy ball theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "ham sandwich theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Harnack's curve theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Heine-Borel theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Helly-Bray theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Helly's selection theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Helly's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Herbrand-Ribet theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Herbrand's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Herglotz-Noether theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hilbert's basis theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hjelmslev's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Holevo's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Hurewicz theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "infinite monkey theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "intermediate value theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Japanese theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Jordan curve theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kazhdan-Margulis theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kleene fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kleene's fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kleene's recursion theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kleene's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kochen-Specker theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kodaira vanishing theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kolmogorov-Arnold-Moser theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Koopmans' theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Krein-Milman theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kruskal's tree theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "KS theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kummer's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Kutta-Joukowski theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Lefschetz fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Lickorish-Wallace theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Lindelöf covering theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Lindemann-Weierstrass theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Liouville-Arnold theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Löb's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Löwenheim-Skolem theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Maharam's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Matiyasevich's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Mayer-Norton theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "mean value theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Menger's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "midline theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "midpoint theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Miquel's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Mittag-Leffler's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "monotone convergence theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Monsky's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Morley's trisector theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "MRDP theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Nachbin's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Neukirch-Uchida theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "no-communication theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Noether's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "no free lunch theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "no-ghost theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "no-go theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "no-hair theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Norton's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "orbit-stabilizer theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ore's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "pancake theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Pappus's hexagon theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "parallel axis theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Parseval's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Pasch's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "perpendicular axis theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Petersen-Morley theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Petersen's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Picard-Lindelöf theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Poincaré-Birkhoff-Witt theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Poynting's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Price's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "prime number theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ptolemy's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Pythagorean theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Radon's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Ramsey's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "rank-nullity theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "rational root theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Rice's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Richardson's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Riemann-Roch theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Robertson-Seymour theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Rolle's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Romanov's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Roth's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Runge's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Savitch's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "scallop theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sharkovskii's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Siegel-Walfisz theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Slutsky's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Solèr's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "spectral theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sperner's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sprague-Grundy theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "squeeze theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Stark-Heegner theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Stone's representation theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sturm's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Størmer's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sumihiro's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sylow theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Sylvester-Gallai theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Tarski-Seidenberg theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Tarski's fixed-point theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Tauberian theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Thales's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "theorem of Pythagoras"
    },
    {
      "_dis1": "0 0 0",
      "word": "Thévenin's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Thue's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Titchmarsh convolution theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Torricelli's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "van der Waerden's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Varignon's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Veblen's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Vinogradov's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "virial theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Vitali-Carathéodory theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Weierstrass-Lindemann theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Whitney's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Wick's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Wigner-Eckart theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Wilks's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Zeckendorf's theorem"
    },
    {
      "_dis1": "0 0 0",
      "word": "Zermelo's theorem"
    }
  ],
  "instances": [
    {
      "source": "Thesaurus:theorem",
      "word": "Pythagorean theorem"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "binomial theorem"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "central limit theorem"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0 0",
      "word": "theoretical"
    },
    {
      "_dis1": "0 0 0",
      "word": "theory"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "proposition"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "lemma"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "definition"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "proof"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "axiom"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "conjecture"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "law of nature"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "principle"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "equation"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "inequality"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "formula"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "mathematics"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "Search/intitle:/ theorem/"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "Appendix:Roget MICRA thesaurus/Class IV § 454. Topic"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "32 8 35 25",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "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."
      ],
      "id": "en-theorem-en-noun-jx9xJ0BD",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "importance",
          "importance"
        ],
        [
          "prove",
          "prove"
        ],
        [
          "true",
          "true"
        ],
        [
          "proposition",
          "proposition"
        ],
        [
          "essential",
          "essential"
        ],
        [
          "proof",
          "proof"
        ],
        [
          "lemma",
          "lemma"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Fermat's Last Theorem was known thus long before it was proved in the 1990s.",
          "type": "example"
        }
      ],
      "glosses": [
        "A mathematical statement that is expected to be true"
      ],
      "id": "en-theorem-en-noun-6Ro9ootQ",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "expected",
          "expected"
        ],
        [
          "true",
          "true"
        ]
      ],
      "raw_glosses": [
        "(mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true"
      ],
      "tags": [
        "colloquial",
        "nonstandard"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "15 81 4",
          "code": "ar",
          "lang": "Arabic",
          "roman": "mubarhana",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "مُبَرْهَنَة"
        },
        {
          "_dis1": "15 81 4",
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "roman": "dìnglǐ",
          "sense": "mathematical statement that is expected to be true",
          "word": "定理"
        },
        {
          "_dis1": "15 81 4",
          "code": "cs",
          "lang": "Czech",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "masculine"
          ],
          "word": "teorém"
        },
        {
          "_dis1": "15 81 4",
          "code": "cs",
          "lang": "Czech",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "teoréma"
        },
        {
          "_dis1": "15 81 4",
          "code": "nl",
          "lang": "Dutch",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "neuter"
          ],
          "word": "vermoeden"
        },
        {
          "_dis1": "15 81 4",
          "code": "fi",
          "lang": "Finnish",
          "sense": "mathematical statement that is expected to be true",
          "word": "olettamus"
        },
        {
          "_dis1": "15 81 4",
          "code": "fr",
          "lang": "French",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "masculine"
          ],
          "word": "théorème"
        },
        {
          "_dis1": "15 81 4",
          "code": "de",
          "lang": "German",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "neuter"
          ],
          "word": "Theorem"
        },
        {
          "_dis1": "15 81 4",
          "code": "de",
          "lang": "German",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "masculine"
          ],
          "word": "Satz"
        },
        {
          "_dis1": "15 81 4",
          "code": "el",
          "lang": "Greek",
          "roman": "theórima",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "neuter"
          ],
          "word": "θεώρημα"
        },
        {
          "_dis1": "15 81 4",
          "code": "he",
          "lang": "Hebrew",
          "roman": "mishpát",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "masculine"
          ],
          "word": "מִשְׁפָּט"
        },
        {
          "_dis1": "15 81 4",
          "code": "id",
          "lang": "Indonesian",
          "sense": "mathematical statement that is expected to be true",
          "word": "teorema"
        },
        {
          "_dis1": "15 81 4",
          "code": "ga",
          "lang": "Irish",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "teoirim"
        },
        {
          "_dis1": "15 81 4",
          "alt": "ていり",
          "code": "ja",
          "lang": "Japanese",
          "roman": "teiri",
          "sense": "mathematical statement that is expected to be true",
          "word": "定理"
        },
        {
          "_dis1": "15 81 4",
          "alt": "定理",
          "code": "ko",
          "lang": "Korean",
          "roman": "jeongni",
          "sense": "mathematical statement that is expected to be true",
          "word": "정리"
        },
        {
          "_dis1": "15 81 4",
          "code": "ms",
          "lang": "Malay",
          "sense": "mathematical statement that is expected to be true",
          "word": "teorem"
        },
        {
          "_dis1": "15 81 4",
          "code": "nb",
          "lang": "Norwegian Bokmål",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "neuter"
          ],
          "word": "teorem"
        },
        {
          "_dis1": "15 81 4",
          "code": "nb",
          "lang": "Norwegian Bokmål",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine",
            "masculine"
          ],
          "word": "læresetning"
        },
        {
          "_dis1": "15 81 4",
          "code": "nn",
          "lang": "Norwegian Nynorsk",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "neuter"
          ],
          "word": "teorem"
        },
        {
          "_dis1": "15 81 4",
          "code": "nn",
          "lang": "Norwegian Nynorsk",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "læresetning"
        },
        {
          "_dis1": "15 81 4",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "conjectura"
        },
        {
          "_dis1": "15 81 4",
          "code": "ru",
          "lang": "Russian",
          "roman": "teoréma",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "теоре́ма"
        },
        {
          "_dis1": "15 81 4",
          "code": "es",
          "lang": "Spanish",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "teoría"
        },
        {
          "_dis1": "15 81 4",
          "code": "es",
          "lang": "Spanish",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "conjetura"
        },
        {
          "_dis1": "15 81 4",
          "code": "es",
          "lang": "Spanish",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "suposición"
        },
        {
          "_dis1": "15 81 4",
          "code": "es",
          "lang": "Spanish",
          "sense": "mathematical statement that is expected to be true",
          "tags": [
            "feminine"
          ],
          "word": "especulación"
        },
        {
          "_dis1": "15 81 4",
          "code": "tr",
          "lang": "Turkish",
          "sense": "mathematical statement that is expected to be true",
          "word": "teorem"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "32 8 35 25",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A syntactically correct expression that is deducible from the given axioms of a deductive system."
      ],
      "id": "en-theorem-en-noun-sKSHP~-P",
      "links": [
        [
          "logic",
          "logic"
        ]
      ],
      "raw_glosses": [
        "(logic) A syntactically correct expression that is deducible from the given axioms of a deductive system."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈθiː.ə.ɹəm/",
      "tags": [
        "UK"
      ]
    },
    {
      "ipa": "/ˈθɪəɹ.əm/",
      "tags": [
        "US"
      ]
    },
    {
      "rhymes": "(US) -ɪəɹəm"
    },
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-theorem.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.ogg",
      "tags": [
        "Southern-England"
      ],
      "text": "Audio (Southern England)"
    }
  ],
  "synonyms": [
    {
      "_dis1": "43 36 21",
      "sense": "proven statement",
      "word": "lemma"
    },
    {
      "_dis1": "0 0 0",
      "word": "proposition"
    },
    {
      "_dis1": "0 0 0",
      "word": "statement"
    },
    {
      "_dis1": "0 0 0",
      "source": "Thesaurus:theorem",
      "word": "theorem"
    },
    {
      "_dis1": "34 39 27",
      "sense": "unproven statement",
      "word": "conjecture"
    }
  ],
  "translations": [
    {
      "_dis1": "40 44 17",
      "code": "sq",
      "lang": "Albanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoremë"
    },
    {
      "_dis1": "40 44 17",
      "code": "ar",
      "lang": "Arabic",
      "roman": "mubarhana",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "مُبَرْهَنَة"
    },
    {
      "_dis1": "40 44 17",
      "code": "ar",
      "lang": "Arabic",
      "roman": "naẓariyya",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "نَظَرِيَّة"
    },
    {
      "_dis1": "40 44 17",
      "code": "hy",
      "lang": "Armenian",
      "roman": "tʿeorem",
      "sense": "proved mathematical statement",
      "word": "թեորեմ"
    },
    {
      "_dis1": "40 44 17",
      "code": "az",
      "lang": "Azerbaijani",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "ba",
      "lang": "Bashkir",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "_dis1": "40 44 17",
      "code": "be",
      "lang": "Belarusian",
      "roman": "tearéma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "тэарэ́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "bn",
      "lang": "Bengali",
      "roman": "upopaddo",
      "sense": "proved mathematical statement",
      "word": "উপপাদ্য"
    },
    {
      "_dis1": "40 44 17",
      "code": "bg",
      "lang": "Bulgarian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "ca",
      "lang": "Catalan",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "dìnglǐ",
      "sense": "proved mathematical statement",
      "word": "定理"
    },
    {
      "_dis1": "40 44 17",
      "code": "cs",
      "lang": "Czech",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "věta"
    },
    {
      "_dis1": "40 44 17",
      "code": "da",
      "lang": "Danish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "da",
      "lang": "Danish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "læresætning"
    },
    {
      "_dis1": "40 44 17",
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "theorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "stelling"
    },
    {
      "_dis1": "40 44 17",
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "leerstelling"
    },
    {
      "_dis1": "40 44 17",
      "code": "eo",
      "lang": "Esperanto",
      "sense": "proved mathematical statement",
      "word": "teoremo"
    },
    {
      "_dis1": "40 44 17",
      "code": "et",
      "lang": "Estonian",
      "sense": "proved mathematical statement",
      "word": "teoreem"
    },
    {
      "_dis1": "40 44 17",
      "code": "fi",
      "lang": "Finnish",
      "sense": "proved mathematical statement",
      "word": "lause"
    },
    {
      "_dis1": "40 44 17",
      "code": "fi",
      "lang": "Finnish",
      "sense": "proved mathematical statement",
      "word": "teoreema"
    },
    {
      "_dis1": "40 44 17",
      "code": "fr",
      "lang": "French",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "théorème"
    },
    {
      "_dis1": "40 44 17",
      "code": "gl",
      "lang": "Galician",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "ka",
      "lang": "Georgian",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "თეორემა"
    },
    {
      "_dis1": "40 44 17",
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "Theorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "Satz"
    },
    {
      "_dis1": "40 44 17",
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "Lehrsatz"
    },
    {
      "_dis1": "40 44 17",
      "code": "el",
      "lang": "Greek",
      "roman": "theórima",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "θεώρημα"
    },
    {
      "_dis1": "40 44 17",
      "code": "grc",
      "lang": "Ancient Greek",
      "roman": "theṓrēma",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "θεώρημα"
    },
    {
      "_dis1": "40 44 17",
      "code": "gu",
      "lang": "Gujarati",
      "roman": "prameya",
      "sense": "proved mathematical statement",
      "word": "પ્રમેય"
    },
    {
      "_dis1": "40 44 17",
      "code": "he",
      "lang": "Hebrew",
      "roman": "mishpát",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "מִשְׁפָּט"
    },
    {
      "_dis1": "40 44 17",
      "code": "hi",
      "lang": "Hindi",
      "roman": "pramey",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "प्रमेय"
    },
    {
      "_dis1": "40 44 17",
      "code": "hu",
      "lang": "Hungarian",
      "sense": "proved mathematical statement",
      "word": "tétel"
    },
    {
      "_dis1": "40 44 17",
      "code": "is",
      "lang": "Icelandic",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "setning"
    },
    {
      "_dis1": "40 44 17",
      "code": "is",
      "lang": "Icelandic",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "kennisetning"
    },
    {
      "_dis1": "40 44 17",
      "code": "id",
      "lang": "Indonesian",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "ga",
      "lang": "Irish",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoirim"
    },
    {
      "_dis1": "40 44 17",
      "code": "it",
      "lang": "Italian",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "alt": "ていり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "teiri",
      "sense": "proved mathematical statement",
      "word": "定理"
    },
    {
      "_dis1": "40 44 17",
      "code": "kk",
      "lang": "Kazakh",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "_dis1": "40 44 17",
      "code": "km",
      "lang": "Khmer",
      "roman": "trɨhsdəybɑt",
      "sense": "proved mathematical statement",
      "word": "ទ្រឹស្ដីបទ"
    },
    {
      "_dis1": "40 44 17",
      "alt": "定理",
      "code": "ko",
      "lang": "Korean",
      "roman": "jeongni",
      "sense": "proved mathematical statement",
      "word": "정리"
    },
    {
      "_dis1": "40 44 17",
      "code": "kmr",
      "lang": "Northern Kurdish",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "ky",
      "lang": "Kyrgyz",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "_dis1": "40 44 17",
      "code": "lo",
      "lang": "Lao",
      "roman": "thit sa dī bot",
      "sense": "proved mathematical statement",
      "word": "ທິດສະດີບົດ"
    },
    {
      "_dis1": "40 44 17",
      "code": "la",
      "lang": "Latin",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "theōrēma"
    },
    {
      "_dis1": "40 44 17",
      "code": "lv",
      "lang": "Latvian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teorēma"
    },
    {
      "_dis1": "40 44 17",
      "code": "lt",
      "lang": "Lithuanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "mk",
      "lang": "Macedonian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "ms",
      "lang": "Malay",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "mn",
      "lang": "Mongolian",
      "roman": "teorem",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic"
      ],
      "word": "теорем"
    },
    {
      "_dis1": "40 44 17",
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine",
        "masculine"
      ],
      "word": "læresetning"
    },
    {
      "_dis1": "40 44 17",
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "læresetning"
    },
    {
      "_dis1": "40 44 17",
      "code": "ps",
      "lang": "Pashto",
      "roman": "qazya",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "قضيه"
    },
    {
      "_dis1": "40 44 17",
      "code": "fa",
      "lang": "Persian",
      "roman": "qaziye, qaziyye",
      "sense": "proved mathematical statement",
      "word": "قضیه"
    },
    {
      "_dis1": "40 44 17",
      "code": "pl",
      "lang": "Polish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "twierdzenie"
    },
    {
      "_dis1": "40 44 17",
      "code": "pt",
      "lang": "Portuguese",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "ro",
      "lang": "Romanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoremă"
    },
    {
      "_dis1": "40 44 17",
      "code": "ru",
      "lang": "Russian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic",
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic",
        "masculine"
      ],
      "word": "тео̀ре̄м"
    },
    {
      "_dis1": "40 44 17",
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Roman",
        "feminine"
      ],
      "word": "teoréma"
    },
    {
      "_dis1": "40 44 17",
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Roman",
        "masculine"
      ],
      "word": "teòrēm"
    },
    {
      "_dis1": "40 44 17",
      "code": "sk",
      "lang": "Slovak",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorém"
    },
    {
      "_dis1": "40 44 17",
      "code": "sk",
      "lang": "Slovak",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "veta"
    },
    {
      "_dis1": "40 44 17",
      "code": "sl",
      "lang": "Slovene",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "izrek"
    },
    {
      "_dis1": "40 44 17",
      "code": "sl",
      "lang": "Slovene",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "es",
      "lang": "Spanish",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "lärosats"
    },
    {
      "_dis1": "40 44 17",
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "sats"
    },
    {
      "_dis1": "40 44 17",
      "code": "tl",
      "lang": "Tagalog",
      "sense": "proved mathematical statement",
      "word": "hunain"
    },
    {
      "_dis1": "40 44 17",
      "code": "tg",
      "lang": "Tajik",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "_dis1": "40 44 17",
      "code": "tg",
      "lang": "Tajik",
      "roman": "qaziya",
      "sense": "proved mathematical statement",
      "word": "қазия"
    },
    {
      "_dis1": "40 44 17",
      "code": "th",
      "lang": "Thai",
      "roman": "trít-sà-dii-bòt",
      "sense": "proved mathematical statement",
      "word": "ทฤษฎีบท"
    },
    {
      "_dis1": "40 44 17",
      "code": "tr",
      "lang": "Turkish",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "_dis1": "40 44 17",
      "code": "tk",
      "lang": "Turkmen",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "uk",
      "lang": "Ukrainian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "_dis1": "40 44 17",
      "code": "ur",
      "lang": "Urdu",
      "roman": "qaziyyā",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "قَضِیّہ"
    },
    {
      "_dis1": "40 44 17",
      "code": "ug",
      "lang": "Uyghur",
      "roman": "të'orëma",
      "sense": "proved mathematical statement",
      "word": "تېئورېما"
    },
    {
      "_dis1": "40 44 17",
      "code": "uz",
      "lang": "Uzbek",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "_dis1": "40 44 17",
      "code": "vi",
      "lang": "Vietnamese",
      "sense": "proved mathematical statement",
      "word": "định lí"
    }
  ],
  "word": "theorem"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "théorème"
      },
      "expansion": "Middle French théorème",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "LL.",
        "3": "theōrēma"
      },
      "expansion": "Late Latin theōrēma",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "θεώρημα",
        "4": "",
        "5": "speculation, proposition to be proved"
      },
      "expansion": "Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρέω",
        "3": "",
        "4": "I look at, view, consider, examine"
      },
      "expansion": "θεωρέω (theōréō, “I look at, view, consider, examine”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρός",
        "3": "",
        "4": "spectator"
      },
      "expansion": "θεωρός (theōrós, “spectator”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θέα",
        "3": "",
        "4": "a view"
      },
      "expansion": "θέα (théa, “a view”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "ὁράω",
        "3": "",
        "4": "I see, look"
      },
      "expansion": "ὁράω (horáō, “I see, look”)",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theory"
      },
      "expansion": "theory",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theater"
      },
      "expansion": "theater",
      "name": "m"
    }
  ],
  "etymology_text": "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.",
  "forms": [
    {
      "form": "theorems",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "theoreming",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "theoremed",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "theoremed",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        {
          "_dis": "32 8 35 25",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "To formulate into a theorem."
      ],
      "id": "en-theorem-en-verb-yvkzFpd-",
      "raw_glosses": [
        "(transitive) To formulate into a theorem."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈθiː.ə.ɹəm/",
      "tags": [
        "UK"
      ]
    },
    {
      "ipa": "/ˈθɪəɹ.əm/",
      "tags": [
        "US"
      ]
    },
    {
      "rhymes": "(US) -ɪəɹəm"
    },
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-theorem.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.ogg",
      "tags": [
        "Southern-England"
      ],
      "text": "Audio (Southern England)"
    }
  ],
  "word": "theorem"
}

{
  "categories": [
    "English 2-syllable words",
    "English 3-syllable words",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms derived from Ancient Greek",
    "English terms derived from Late Latin",
    "English terms derived from Middle French",
    "English terms with IPA pronunciation",
    "English terms with audio links",
    "English verbs",
    "Requests for review of Icelandic translations",
    "Rhymes:English/ɪəɹəm",
    "Rhymes:English/ɪəɹəm/2 syllables"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "théorème"
      },
      "expansion": "Middle French théorème",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "LL.",
        "3": "theōrēma"
      },
      "expansion": "Late Latin theōrēma",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "θεώρημα",
        "4": "",
        "5": "speculation, proposition to be proved"
      },
      "expansion": "Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρέω",
        "3": "",
        "4": "I look at, view, consider, examine"
      },
      "expansion": "θεωρέω (theōréō, “I look at, view, consider, examine”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρός",
        "3": "",
        "4": "spectator"
      },
      "expansion": "θεωρός (theōrós, “spectator”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θέα",
        "3": "",
        "4": "a view"
      },
      "expansion": "θέα (théa, “a view”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "ὁράω",
        "3": "",
        "4": "I see, look"
      },
      "expansion": "ὁράω (horáō, “I see, look”)",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theory"
      },
      "expansion": "theory",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theater"
      },
      "expansion": "theater",
      "name": "m"
    }
  ],
  "etymology_text": "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.",
  "forms": [
    {
      "form": "theorems",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "theorem (plural theorems)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "word": "theory"
    }
  ],
  "hypernyms": [
    {
      "source": "Thesaurus:theorem",
      "word": "statement"
    }
  ],
  "hyponyms": [
    {
      "word": "Böhm-Jacopini theorem"
    },
    {
      "word": "structured program theorem"
    },
    {
      "word": "Bernoulli's theorem"
    },
    {
      "word": "binomial theorem"
    },
    {
      "word": "central limit theorem"
    },
    {
      "word": "Ceva's theorem"
    },
    {
      "word": "cosine theorem"
    },
    {
      "word": "De Morgan's theorem"
    },
    {
      "word": "double angle theorem"
    },
    {
      "word": "Dvoretzky's theorem"
    },
    {
      "word": "Euclid's theorem"
    },
    {
      "word": "exterior angle theorem"
    },
    {
      "word": "Fermat's Last Theorem"
    },
    {
      "word": "fundamental theorem"
    },
    {
      "word": "fundamental theorem of algebra"
    },
    {
      "word": "fundamental theorem of arithmetic"
    },
    {
      "word": "Gauss' theorem"
    },
    {
      "word": "Gleason's theorem"
    },
    {
      "word": "Gödel's incompleteness theorem"
    },
    {
      "word": "Green's theorem"
    },
    {
      "word": "Haag's theorem"
    },
    {
      "word": "Hales-Jewett theorem"
    },
    {
      "word": "Hindman's theorem"
    },
    {
      "word": "inscribed angle theorem"
    },
    {
      "word": "intercept theorem"
    },
    {
      "word": "Knaster-Tarski theorem"
    },
    {
      "word": "Menelaus' theorem"
    },
    {
      "word": "Milliken-Taylor theorem"
    },
    {
      "word": "Paris-Harrington theorem"
    },
    {
      "word": "Pythagoras' theorem"
    },
    {
      "word": "Rado-Folkman-Sanders theorem"
    },
    {
      "word": "Rado's theorem"
    },
    {
      "word": "Schur's theorem"
    },
    {
      "word": "sine theorem"
    },
    {
      "word": "Stokes' theorem"
    },
    {
      "word": "Stone-Weierstrass theorem"
    },
    {
      "word": "Szemerédi's theorem"
    },
    {
      "word": "Thales' theorem"
    },
    {
      "word": "time hierarchy theorem"
    },
    {
      "word": "Turán's theorem"
    },
    {
      "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": "Bombieri-Friedlander-Iwaniec theorem"
    },
    {
      "word": "Bondareva-Shapley 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": "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": "diamond theorem"
    },
    {
      "word": "Earnshaw's 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": "Futurama theorem"
    },
    {
      "word": "Gauss-Bonnet theorem"
    },
    {
      "word": "Gauss-Lucas 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": "Gougu theorem"
    },
    {
      "word": "Green-Tao theorem"
    },
    {
      "word": "Grothendieck-Riemann-Roch 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": "Krein-Milman theorem"
    },
    {
      "word": "Kruskal's tree theorem"
    },
    {
      "word": "KS theorem"
    },
    {
      "word": "Kummer's 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": "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": "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": "Sturm's theorem"
    },
    {
      "word": "Størmer'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"
    }
  ],
  "instances": [
    {
      "source": "Thesaurus:theorem",
      "word": "Pythagorean theorem"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "binomial theorem"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "central limit theorem"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "theoretical"
    },
    {
      "word": "theory"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "proposition"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "lemma"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "definition"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "proof"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "axiom"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "conjecture"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "law of nature"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "principle"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "equation"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "inequality"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "formula"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "mathematics"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "Search/intitle:/ theorem/"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "Appendix:Roget MICRA thesaurus/Class IV § 454. Topic"
    }
  ],
  "senses": [
    {
      "categories": [
        "en:Mathematics"
      ],
      "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."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "importance",
          "importance"
        ],
        [
          "prove",
          "prove"
        ],
        [
          "true",
          "true"
        ],
        [
          "proposition",
          "proposition"
        ],
        [
          "essential",
          "essential"
        ],
        [
          "proof",
          "proof"
        ],
        [
          "lemma",
          "lemma"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "English colloquialisms",
        "English nonstandard terms",
        "English terms with usage examples",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "Fermat's Last Theorem was known thus long before it was proved in the 1990s.",
          "type": "example"
        }
      ],
      "glosses": [
        "A mathematical statement that is expected to be true"
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "statement",
          "statement"
        ],
        [
          "expected",
          "expected"
        ],
        [
          "true",
          "true"
        ]
      ],
      "raw_glosses": [
        "(mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true"
      ],
      "tags": [
        "colloquial",
        "nonstandard"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "en:Logic"
      ],
      "glosses": [
        "A syntactically correct expression that is deducible from the given axioms of a deductive system."
      ],
      "links": [
        [
          "logic",
          "logic"
        ]
      ],
      "raw_glosses": [
        "(logic) A syntactically correct expression that is deducible from the given axioms of a deductive system."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈθiː.ə.ɹəm/",
      "tags": [
        "UK"
      ]
    },
    {
      "ipa": "/ˈθɪəɹ.əm/",
      "tags": [
        "US"
      ]
    },
    {
      "rhymes": "(US) -ɪəɹəm"
    },
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-theorem.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.ogg",
      "tags": [
        "Southern-England"
      ],
      "text": "Audio (Southern England)"
    }
  ],
  "synonyms": [
    {
      "sense": "proven statement",
      "word": "lemma"
    },
    {
      "word": "proposition"
    },
    {
      "word": "statement"
    },
    {
      "sense": "unproven statement",
      "word": "conjecture"
    },
    {
      "source": "Thesaurus:theorem",
      "word": "theorem"
    }
  ],
  "translations": [
    {
      "code": "sq",
      "lang": "Albanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoremë"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "roman": "mubarhana",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "مُبَرْهَنَة"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "roman": "naẓariyya",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "نَظَرِيَّة"
    },
    {
      "code": "hy",
      "lang": "Armenian",
      "roman": "tʿeorem",
      "sense": "proved mathematical statement",
      "word": "թեորեմ"
    },
    {
      "code": "az",
      "lang": "Azerbaijani",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "code": "ba",
      "lang": "Bashkir",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "code": "be",
      "lang": "Belarusian",
      "roman": "tearéma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "тэарэ́ма"
    },
    {
      "code": "bn",
      "lang": "Bengali",
      "roman": "upopaddo",
      "sense": "proved mathematical statement",
      "word": "উপপাদ্য"
    },
    {
      "code": "bg",
      "lang": "Bulgarian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "ca",
      "lang": "Catalan",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "dìnglǐ",
      "sense": "proved mathematical statement",
      "word": "定理"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "věta"
    },
    {
      "code": "da",
      "lang": "Danish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "da",
      "lang": "Danish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "læresætning"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "theorema"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "stelling"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "leerstelling"
    },
    {
      "code": "eo",
      "lang": "Esperanto",
      "sense": "proved mathematical statement",
      "word": "teoremo"
    },
    {
      "code": "et",
      "lang": "Estonian",
      "sense": "proved mathematical statement",
      "word": "teoreem"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "proved mathematical statement",
      "word": "lause"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "proved mathematical statement",
      "word": "teoreema"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "théorème"
    },
    {
      "code": "gl",
      "lang": "Galician",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "code": "ka",
      "lang": "Georgian",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "თეორემა"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "Theorem"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "Satz"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "Lehrsatz"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "theórima",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "θεώρημα"
    },
    {
      "code": "grc",
      "lang": "Ancient Greek",
      "roman": "theṓrēma",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "θεώρημα"
    },
    {
      "code": "gu",
      "lang": "Gujarati",
      "roman": "prameya",
      "sense": "proved mathematical statement",
      "word": "પ્રમેય"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "roman": "mishpát",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "מִשְׁפָּט"
    },
    {
      "code": "hi",
      "lang": "Hindi",
      "roman": "pramey",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "प्रमेय"
    },
    {
      "code": "hu",
      "lang": "Hungarian",
      "sense": "proved mathematical statement",
      "word": "tétel"
    },
    {
      "code": "is",
      "lang": "Icelandic",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "setning"
    },
    {
      "code": "is",
      "lang": "Icelandic",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "kennisetning"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "code": "ga",
      "lang": "Irish",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoirim"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "alt": "ていり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "teiri",
      "sense": "proved mathematical statement",
      "word": "定理"
    },
    {
      "code": "kk",
      "lang": "Kazakh",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "code": "km",
      "lang": "Khmer",
      "roman": "trɨhsdəybɑt",
      "sense": "proved mathematical statement",
      "word": "ទ្រឹស្ដីបទ"
    },
    {
      "alt": "定理",
      "code": "ko",
      "lang": "Korean",
      "roman": "jeongni",
      "sense": "proved mathematical statement",
      "word": "정리"
    },
    {
      "code": "kmr",
      "lang": "Northern Kurdish",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "code": "ky",
      "lang": "Kyrgyz",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "code": "lo",
      "lang": "Lao",
      "roman": "thit sa dī bot",
      "sense": "proved mathematical statement",
      "word": "ທິດສະດີບົດ"
    },
    {
      "code": "la",
      "lang": "Latin",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "theōrēma"
    },
    {
      "code": "lv",
      "lang": "Latvian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teorēma"
    },
    {
      "code": "lt",
      "lang": "Lithuanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teorema"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "ms",
      "lang": "Malay",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "code": "mn",
      "lang": "Mongolian",
      "roman": "teorem",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic"
      ],
      "word": "теорем"
    },
    {
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine",
        "masculine"
      ],
      "word": "læresetning"
    },
    {
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "læresetning"
    },
    {
      "code": "ps",
      "lang": "Pashto",
      "roman": "qazya",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "قضيه"
    },
    {
      "code": "fa",
      "lang": "Persian",
      "roman": "qaziye, qaziyye",
      "sense": "proved mathematical statement",
      "word": "قضیه"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "twierdzenie"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "teoremă"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic",
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Cyrillic",
        "masculine"
      ],
      "word": "тео̀ре̄м"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Roman",
        "feminine"
      ],
      "word": "teoréma"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "proved mathematical statement",
      "tags": [
        "Roman",
        "masculine"
      ],
      "word": "teòrēm"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorém"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "veta"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "izrek"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorem"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "teorema"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "lärosats"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "proved mathematical statement",
      "tags": [
        "common-gender"
      ],
      "word": "sats"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "proved mathematical statement",
      "word": "hunain"
    },
    {
      "code": "tg",
      "lang": "Tajik",
      "roman": "teorema",
      "sense": "proved mathematical statement",
      "word": "теорема"
    },
    {
      "code": "tg",
      "lang": "Tajik",
      "roman": "qaziya",
      "sense": "proved mathematical statement",
      "word": "қазия"
    },
    {
      "code": "th",
      "lang": "Thai",
      "roman": "trít-sà-dii-bòt",
      "sense": "proved mathematical statement",
      "word": "ทฤษฎีบท"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "proved mathematical statement",
      "word": "teorem"
    },
    {
      "code": "tk",
      "lang": "Turkmen",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "code": "uk",
      "lang": "Ukrainian",
      "roman": "teoréma",
      "sense": "proved mathematical statement",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "ur",
      "lang": "Urdu",
      "roman": "qaziyyā",
      "sense": "proved mathematical statement",
      "tags": [
        "masculine"
      ],
      "word": "قَضِیّہ"
    },
    {
      "code": "ug",
      "lang": "Uyghur",
      "roman": "të'orëma",
      "sense": "proved mathematical statement",
      "word": "تېئورېما"
    },
    {
      "code": "uz",
      "lang": "Uzbek",
      "sense": "proved mathematical statement",
      "word": "teorema"
    },
    {
      "code": "vi",
      "lang": "Vietnamese",
      "sense": "proved mathematical statement",
      "word": "định lí"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "roman": "mubarhana",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "مُبَرْهَنَة"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "dìnglǐ",
      "sense": "mathematical statement that is expected to be true",
      "word": "定理"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "masculine"
      ],
      "word": "teorém"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "teoréma"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "neuter"
      ],
      "word": "vermoeden"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "mathematical statement that is expected to be true",
      "word": "olettamus"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "masculine"
      ],
      "word": "théorème"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "neuter"
      ],
      "word": "Theorem"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "masculine"
      ],
      "word": "Satz"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "theórima",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "neuter"
      ],
      "word": "θεώρημα"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "roman": "mishpát",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "masculine"
      ],
      "word": "מִשְׁפָּט"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "sense": "mathematical statement that is expected to be true",
      "word": "teorema"
    },
    {
      "code": "ga",
      "lang": "Irish",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "teoirim"
    },
    {
      "alt": "ていり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "teiri",
      "sense": "mathematical statement that is expected to be true",
      "word": "定理"
    },
    {
      "alt": "定理",
      "code": "ko",
      "lang": "Korean",
      "roman": "jeongni",
      "sense": "mathematical statement that is expected to be true",
      "word": "정리"
    },
    {
      "code": "ms",
      "lang": "Malay",
      "sense": "mathematical statement that is expected to be true",
      "word": "teorem"
    },
    {
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "nb",
      "lang": "Norwegian Bokmål",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine",
        "masculine"
      ],
      "word": "læresetning"
    },
    {
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "neuter"
      ],
      "word": "teorem"
    },
    {
      "code": "nn",
      "lang": "Norwegian Nynorsk",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "læresetning"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "conjectura"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "teoréma",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "теоре́ма"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "teoría"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "conjetura"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "suposición"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "mathematical statement that is expected to be true",
      "tags": [
        "feminine"
      ],
      "word": "especulación"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "mathematical statement that is expected to be true",
      "word": "teorem"
    }
  ],
  "word": "theorem"
}

{
  "categories": [
    "English 2-syllable words",
    "English 3-syllable words",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms derived from Ancient Greek",
    "English terms derived from Late Latin",
    "English terms derived from Middle French",
    "English terms with IPA pronunciation",
    "English terms with audio links",
    "English verbs",
    "Requests for review of Icelandic translations",
    "Rhymes:English/ɪəɹəm",
    "Rhymes:English/ɪəɹəm/2 syllables"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "théorème"
      },
      "expansion": "Middle French théorème",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "LL.",
        "3": "theōrēma"
      },
      "expansion": "Late Latin theōrēma",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "θεώρημα",
        "4": "",
        "5": "speculation, proposition to be proved"
      },
      "expansion": "Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρέω",
        "3": "",
        "4": "I look at, view, consider, examine"
      },
      "expansion": "θεωρέω (theōréō, “I look at, view, consider, examine”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θεωρός",
        "3": "",
        "4": "spectator"
      },
      "expansion": "θεωρός (theōrós, “spectator”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "θέα",
        "3": "",
        "4": "a view"
      },
      "expansion": "θέα (théa, “a view”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "ὁράω",
        "3": "",
        "4": "I see, look"
      },
      "expansion": "ὁράω (horáō, “I see, look”)",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theory"
      },
      "expansion": "theory",
      "name": "m"
    },
    {
      "args": {
        "1": "en",
        "2": "theater"
      },
      "expansion": "theater",
      "name": "m"
    }
  ],
  "etymology_text": "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.",
  "forms": [
    {
      "form": "theorems",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "theoreming",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "theoremed",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "theoremed",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        "English transitive verbs"
      ],
      "glosses": [
        "To formulate into a theorem."
      ],
      "raw_glosses": [
        "(transitive) To formulate into a theorem."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈθiː.ə.ɹəm/",
      "tags": [
        "UK"
      ]
    },
    {
      "ipa": "/ˈθɪəɹ.əm/",
      "tags": [
        "US"
      ]
    },
    {
      "rhymes": "(US) -ɪəɹəm"
    },
    {
      "audio": "LL-Q1860 (eng)-Vealhurl-theorem.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0c/LL-Q1860_%28eng%29-Vealhurl-theorem.wav/LL-Q1860_%28eng%29-Vealhurl-theorem.wav.ogg",
      "tags": [
        "Southern-England"
      ],
      "text": "Audio (Southern England)"
    }
  ],
  "word": "theorem"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-04-24 from the enwiktionary dump dated 2024-04-21 using wiktextract (82c8ff9 and f4967a5). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.