See theorem in All languages combined, or Wiktionary
{
"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"
}
],
"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": "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": "Fubini'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": "Kuratowski-Ulam 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": "Størmer's theorem"
},
{
"_dis1": "0 0 0",
"word": "Sturm'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": "Special: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": "41 10 45 4",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "39 15 41 5",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 17 40 3",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"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"
},
{
"_dis": "41 10 45 4",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "39 15 41 5",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 17 40 3",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"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-9JRZSwZE",
"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 5",
"code": "ar",
"lang": "Arabic",
"roman": "mubarhana",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "مُبَرْهَنَة"
},
{
"_dis1": "15 81 5",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "dìnglǐ",
"sense": "mathematical statement that is expected to be true",
"word": "定理"
},
{
"_dis1": "15 81 5",
"code": "cs",
"lang": "Czech",
"sense": "mathematical statement that is expected to be true",
"tags": [
"masculine"
],
"word": "teorém"
},
{
"_dis1": "15 81 5",
"code": "cs",
"lang": "Czech",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "teoréma"
},
{
"_dis1": "15 81 5",
"code": "nl",
"lang": "Dutch",
"sense": "mathematical statement that is expected to be true",
"tags": [
"neuter"
],
"word": "vermoeden"
},
{
"_dis1": "15 81 5",
"code": "fi",
"lang": "Finnish",
"sense": "mathematical statement that is expected to be true",
"word": "olettamus"
},
{
"_dis1": "15 81 5",
"code": "fr",
"lang": "French",
"sense": "mathematical statement that is expected to be true",
"tags": [
"masculine"
],
"word": "théorème"
},
{
"_dis1": "15 81 5",
"code": "de",
"lang": "German",
"sense": "mathematical statement that is expected to be true",
"tags": [
"neuter"
],
"word": "Theorem"
},
{
"_dis1": "15 81 5",
"code": "de",
"lang": "German",
"sense": "mathematical statement that is expected to be true",
"tags": [
"masculine"
],
"word": "Satz"
},
{
"_dis1": "15 81 5",
"code": "el",
"lang": "Greek",
"roman": "theórima",
"sense": "mathematical statement that is expected to be true",
"tags": [
"neuter"
],
"word": "θεώρημα"
},
{
"_dis1": "15 81 5",
"code": "he",
"lang": "Hebrew",
"roman": "mishpát",
"sense": "mathematical statement that is expected to be true",
"tags": [
"masculine"
],
"word": "מִשְׁפָּט"
},
{
"_dis1": "15 81 5",
"code": "id",
"lang": "Indonesian",
"sense": "mathematical statement that is expected to be true",
"word": "teorema"
},
{
"_dis1": "15 81 5",
"code": "ga",
"lang": "Irish",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "teoirim"
},
{
"_dis1": "15 81 5",
"alt": "ていり",
"code": "ja",
"lang": "Japanese",
"roman": "teiri",
"sense": "mathematical statement that is expected to be true",
"word": "定理"
},
{
"_dis1": "15 81 5",
"alt": "定理",
"code": "ko",
"lang": "Korean",
"roman": "jeongni",
"sense": "mathematical statement that is expected to be true",
"word": "정리"
},
{
"_dis1": "15 81 5",
"code": "ms",
"lang": "Malay",
"sense": "mathematical statement that is expected to be true",
"word": "teorem"
},
{
"_dis1": "15 81 5",
"code": "nb",
"lang": "Norwegian Bokmål",
"sense": "mathematical statement that is expected to be true",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "15 81 5",
"code": "nb",
"lang": "Norwegian Bokmål",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine",
"masculine"
],
"word": "læresetning"
},
{
"_dis1": "15 81 5",
"code": "nn",
"lang": "Norwegian Nynorsk",
"sense": "mathematical statement that is expected to be true",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "15 81 5",
"code": "nn",
"lang": "Norwegian Nynorsk",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "læresetning"
},
{
"_dis1": "15 81 5",
"code": "pt",
"lang": "Portuguese",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "conjectura"
},
{
"_dis1": "15 81 5",
"code": "ru",
"lang": "Russian",
"roman": "teoréma",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "15 81 5",
"code": "es",
"lang": "Spanish",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "teoría"
},
{
"_dis1": "15 81 5",
"code": "es",
"lang": "Spanish",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "conjetura"
},
{
"_dis1": "15 81 5",
"code": "es",
"lang": "Spanish",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "suposición"
},
{
"_dis1": "15 81 5",
"code": "es",
"lang": "Spanish",
"sense": "mathematical statement that is expected to be true",
"tags": [
"feminine"
],
"word": "especulación"
},
{
"_dis1": "15 81 5",
"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": "41 10 45 4",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "27 16 50 7",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "39 15 41 5",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 17 40 3",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Albanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 19 48 5",
"kind": "other",
"name": "Terms with Ancient Greek translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 22 45 3",
"kind": "other",
"name": "Terms with Arabic translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Armenian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Azerbaijani translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Bashkir translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 23 44 4",
"kind": "other",
"name": "Terms with Belarusian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 47 4",
"kind": "other",
"name": "Terms with Bengali translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 21 47 4",
"kind": "other",
"name": "Terms with Bulgarian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 47 4",
"kind": "other",
"name": "Terms with Catalan translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "31 20 45 4",
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "26 21 51 2",
"kind": "other",
"name": "Terms with Danish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 23 43 7",
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Esperanto translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Estonian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 21 48 4",
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "25 22 46 7",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Galician translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "30 21 45 4",
"kind": "other",
"name": "Terms with Georgian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 23 46 4",
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "25 22 46 7",
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Gujarati translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 21 48 4",
"kind": "other",
"name": "Terms with Hebrew translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "26 21 49 4",
"kind": "other",
"name": "Terms with Hindi translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "25 20 50 4",
"kind": "other",
"name": "Terms with Hungarian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Indonesian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "30 21 45 4",
"kind": "other",
"name": "Terms with Irish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 23 46 4",
"kind": "other",
"name": "Terms with Italian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 24 44 4",
"kind": "other",
"name": "Terms with Japanese translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Kazakh translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Khmer translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Korean translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Kyrgyz translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 22 47 3",
"kind": "other",
"name": "Terms with Lao translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 24 44 4",
"kind": "other",
"name": "Terms with Latin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Latvian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Lithuanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Macedonian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Malay translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 21 48 4",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 22 48 3",
"kind": "other",
"name": "Terms with Mongolian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "31 25 43 1",
"kind": "other",
"name": "Terms with Northern Kurdish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 21 47 4",
"kind": "other",
"name": "Terms with Norwegian Bokmål translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "31 25 43 1",
"kind": "other",
"name": "Terms with Norwegian Nynorsk translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 24 44 4",
"kind": "other",
"name": "Terms with Pashto translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Persian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 20 46 6",
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 22 46 4",
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 21 48 4",
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 23 46 4",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 22 46 4",
"kind": "other",
"name": "Terms with Serbo-Croatian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Slovak translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Slovene translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "27 23 45 4",
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Tagalog translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Tajik translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Thai translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Turkish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Turkmen translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Ukrainian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 22 46 4",
"kind": "other",
"name": "Terms with Urdu translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Uyghur translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Uzbek translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "29 21 46 4",
"kind": "other",
"name": "Terms with Vietnamese translations",
"parents": [],
"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"
],
[
"syntactically",
"syntactically"
],
[
"expression",
"expression"
],
[
"deducible",
"deducible"
],
[
"axioms",
"axioms"
],
[
"deductive",
"deductive"
],
[
"system",
"system"
]
],
"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"
]
},
{
"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"
},
{
"ipa": "/ˈθɪəɹ.əm/",
"tags": [
"US"
]
},
{
"rhymes": "(US) -ɪəɹəm"
}
],
"synonyms": [
{
"_dis1": "42 36 23",
"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 33 33",
"sense": "unproven statement",
"word": "conjecture"
}
],
"translations": [
{
"_dis1": "39 41 20",
"code": "sq",
"lang": "Albanian",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "teoremë"
},
{
"_dis1": "39 41 20",
"code": "ar",
"lang": "Arabic",
"roman": "mubarhana",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "مُبَرْهَنَة"
},
{
"_dis1": "39 41 20",
"code": "ar",
"lang": "Arabic",
"roman": "naẓariyya",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "نَظَرِيَّة"
},
{
"_dis1": "39 41 20",
"code": "hy",
"lang": "Armenian",
"roman": "tʻeorem",
"sense": "proved mathematical statement",
"word": "թեորեմ"
},
{
"_dis1": "39 41 20",
"code": "az",
"lang": "Azerbaijani",
"sense": "proved mathematical statement",
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "ba",
"lang": "Bashkir",
"roman": "teorema",
"sense": "proved mathematical statement",
"word": "теорема"
},
{
"_dis1": "39 41 20",
"code": "be",
"lang": "Belarusian",
"roman": "tearéma",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "тэарэ́ма"
},
{
"_dis1": "39 41 20",
"code": "bn",
"lang": "Bengali",
"roman": "upopaddo",
"sense": "proved mathematical statement",
"word": "উপপাদ্য"
},
{
"_dis1": "39 41 20",
"code": "bg",
"lang": "Bulgarian",
"roman": "teoréma",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "39 41 20",
"code": "ca",
"lang": "Catalan",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "dìnglǐ",
"sense": "proved mathematical statement",
"word": "定理"
},
{
"_dis1": "39 41 20",
"code": "cs",
"lang": "Czech",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "věta"
},
{
"_dis1": "39 41 20",
"code": "da",
"lang": "Danish",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "da",
"lang": "Danish",
"sense": "proved mathematical statement",
"tags": [
"common-gender"
],
"word": "læresætning"
},
{
"_dis1": "39 41 20",
"code": "nl",
"lang": "Dutch",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "theorema"
},
{
"_dis1": "39 41 20",
"code": "nl",
"lang": "Dutch",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "stelling"
},
{
"_dis1": "39 41 20",
"code": "nl",
"lang": "Dutch",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "leerstelling"
},
{
"_dis1": "39 41 20",
"code": "eo",
"lang": "Esperanto",
"sense": "proved mathematical statement",
"word": "teoremo"
},
{
"_dis1": "39 41 20",
"code": "et",
"lang": "Estonian",
"sense": "proved mathematical statement",
"word": "teoreem"
},
{
"_dis1": "39 41 20",
"code": "fi",
"lang": "Finnish",
"sense": "proved mathematical statement",
"word": "lause"
},
{
"_dis1": "39 41 20",
"code": "fi",
"lang": "Finnish",
"sense": "proved mathematical statement",
"word": "teoreema"
},
{
"_dis1": "39 41 20",
"code": "fr",
"lang": "French",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "théorème"
},
{
"_dis1": "39 41 20",
"code": "gl",
"lang": "Galician",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "ka",
"lang": "Georgian",
"roman": "teorema",
"sense": "proved mathematical statement",
"word": "თეორემა"
},
{
"_dis1": "39 41 20",
"code": "de",
"lang": "German",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "Theorem"
},
{
"_dis1": "39 41 20",
"code": "de",
"lang": "German",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "Satz"
},
{
"_dis1": "39 41 20",
"code": "de",
"lang": "German",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "Lehrsatz"
},
{
"_dis1": "39 41 20",
"code": "el",
"lang": "Greek",
"roman": "theórima",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "θεώρημα"
},
{
"_dis1": "39 41 20",
"code": "grc",
"lang": "Ancient Greek",
"roman": "theṓrēma",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "θεώρημα"
},
{
"_dis1": "39 41 20",
"code": "gu",
"lang": "Gujarati",
"roman": "prameya",
"sense": "proved mathematical statement",
"word": "પ્રમેય"
},
{
"_dis1": "39 41 20",
"code": "he",
"lang": "Hebrew",
"roman": "mishpát",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "מִשְׁפָּט"
},
{
"_dis1": "39 41 20",
"code": "hi",
"lang": "Hindi",
"roman": "pramey",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "प्रमेय"
},
{
"_dis1": "39 41 20",
"code": "hu",
"lang": "Hungarian",
"sense": "proved mathematical statement",
"word": "tétel"
},
{
"_dis1": "39 41 20",
"code": "is",
"lang": "Icelandic",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "setning"
},
{
"_dis1": "39 41 20",
"code": "is",
"lang": "Icelandic",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "kennisetning"
},
{
"_dis1": "39 41 20",
"code": "id",
"lang": "Indonesian",
"sense": "proved mathematical statement",
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "ga",
"lang": "Irish",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "teoirim"
},
{
"_dis1": "39 41 20",
"code": "it",
"lang": "Italian",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"alt": "ていり",
"code": "ja",
"lang": "Japanese",
"roman": "teiri",
"sense": "proved mathematical statement",
"word": "定理"
},
{
"_dis1": "39 41 20",
"code": "kk",
"lang": "Kazakh",
"roman": "teorema",
"sense": "proved mathematical statement",
"word": "теорема"
},
{
"_dis1": "39 41 20",
"code": "km",
"lang": "Khmer",
"roman": "trɨhsdəybɑt",
"sense": "proved mathematical statement",
"word": "ទ្រឹស្ដីបទ"
},
{
"_dis1": "39 41 20",
"alt": "定理",
"code": "ko",
"lang": "Korean",
"roman": "jeongni",
"sense": "proved mathematical statement",
"word": "정리"
},
{
"_dis1": "39 41 20",
"code": "kmr",
"lang": "Northern Kurdish",
"sense": "proved mathematical statement",
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "ky",
"lang": "Kyrgyz",
"roman": "teorema",
"sense": "proved mathematical statement",
"word": "теорема"
},
{
"_dis1": "39 41 20",
"code": "lo",
"lang": "Lao",
"roman": "thit sa dī bot",
"sense": "proved mathematical statement",
"word": "ທິດສະດີບົດ"
},
{
"_dis1": "39 41 20",
"code": "la",
"lang": "Latin",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "theōrēma"
},
{
"_dis1": "39 41 20",
"code": "lv",
"lang": "Latvian",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "teorēma"
},
{
"_dis1": "39 41 20",
"code": "lt",
"lang": "Lithuanian",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "mk",
"lang": "Macedonian",
"roman": "teoréma",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "39 41 20",
"code": "ms",
"lang": "Malay",
"sense": "proved mathematical statement",
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "mn",
"lang": "Mongolian",
"roman": "teorem",
"sense": "proved mathematical statement",
"tags": [
"Cyrillic"
],
"word": "теорем"
},
{
"_dis1": "39 41 20",
"code": "nb",
"lang": "Norwegian Bokmål",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "nb",
"lang": "Norwegian Bokmål",
"sense": "proved mathematical statement",
"tags": [
"feminine",
"masculine"
],
"word": "læresetning"
},
{
"_dis1": "39 41 20",
"code": "nn",
"lang": "Norwegian Nynorsk",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "nn",
"lang": "Norwegian Nynorsk",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "læresetning"
},
{
"_dis1": "39 41 20",
"code": "ps",
"lang": "Pashto",
"roman": "qazya",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "قضيه"
},
{
"_dis1": "39 41 20",
"code": "fa",
"lang": "Persian",
"roman": "qaziye, qaziyye",
"sense": "proved mathematical statement",
"word": "قضیه"
},
{
"_dis1": "39 41 20",
"code": "pl",
"lang": "Polish",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "twierdzenie"
},
{
"_dis1": "39 41 20",
"code": "pt",
"lang": "Portuguese",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "ro",
"lang": "Romanian",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "teoremă"
},
{
"_dis1": "39 41 20",
"code": "ru",
"lang": "Russian",
"roman": "teoréma",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "39 41 20",
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "proved mathematical statement",
"tags": [
"Cyrillic",
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "39 41 20",
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "proved mathematical statement",
"tags": [
"Cyrillic",
"masculine"
],
"word": "тео̀ре̄м"
},
{
"_dis1": "39 41 20",
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "proved mathematical statement",
"tags": [
"Roman",
"feminine"
],
"word": "teoréma"
},
{
"_dis1": "39 41 20",
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "proved mathematical statement",
"tags": [
"Roman",
"masculine"
],
"word": "teòrēm"
},
{
"_dis1": "39 41 20",
"code": "sk",
"lang": "Slovak",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorém"
},
{
"_dis1": "39 41 20",
"code": "sk",
"lang": "Slovak",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "veta"
},
{
"_dis1": "39 41 20",
"code": "sl",
"lang": "Slovene",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "izrek"
},
{
"_dis1": "39 41 20",
"code": "sl",
"lang": "Slovene",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "es",
"lang": "Spanish",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "sv",
"lang": "Swedish",
"sense": "proved mathematical statement",
"tags": [
"neuter"
],
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "sv",
"lang": "Swedish",
"sense": "proved mathematical statement",
"tags": [
"common-gender"
],
"word": "lärosats"
},
{
"_dis1": "39 41 20",
"code": "sv",
"lang": "Swedish",
"sense": "proved mathematical statement",
"tags": [
"common-gender"
],
"word": "sats"
},
{
"_dis1": "39 41 20",
"code": "tl",
"lang": "Tagalog",
"sense": "proved mathematical statement",
"word": "hunain"
},
{
"_dis1": "39 41 20",
"code": "tg",
"lang": "Tajik",
"roman": "teorema",
"sense": "proved mathematical statement",
"word": "теорема"
},
{
"_dis1": "39 41 20",
"code": "tg",
"lang": "Tajik",
"roman": "qaziya",
"sense": "proved mathematical statement",
"word": "қазия"
},
{
"_dis1": "39 41 20",
"code": "th",
"lang": "Thai",
"roman": "trít-sà-dii-bòt",
"sense": "proved mathematical statement",
"word": "ทฤษฎีบท"
},
{
"_dis1": "39 41 20",
"code": "tr",
"lang": "Turkish",
"sense": "proved mathematical statement",
"word": "teorem"
},
{
"_dis1": "39 41 20",
"code": "tk",
"lang": "Turkmen",
"sense": "proved mathematical statement",
"word": "teorema"
},
{
"_dis1": "39 41 20",
"code": "uk",
"lang": "Ukrainian",
"roman": "teoréma",
"sense": "proved mathematical statement",
"tags": [
"feminine"
],
"word": "теоре́ма"
},
{
"_dis1": "39 41 20",
"code": "ur",
"lang": "Urdu",
"roman": "qaziyyā",
"sense": "proved mathematical statement",
"tags": [
"masculine"
],
"word": "قَضِیّہ"
},
{
"_dis1": "39 41 20",
"code": "ug",
"lang": "Uyghur",
"roman": "të'orëma",
"sense": "proved mathematical statement",
"word": "تېئورېما"
},
{
"_dis1": "39 41 20",
"code": "uz",
"lang": "Uzbek",
"sense": "proved mathematical statement",
"word": "teorema"
},
{
"_dis1": "39 41 20",
"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"
}
],
"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": [],
"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"
]
},
{
"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"
},
{
"ipa": "/ˈθɪəɹ.əm/",
"tags": [
"US"
]
},
{
"rhymes": "(US) -ɪəɹəm"
}
],
"word": "theorem"
}
{
"categories": [
"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 verbs",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Requests for review of Icelandic translations",
"Rhymes:English/ɪəɹəm",
"Rhymes:English/ɪəɹəm/2 syllables",
"Terms with Albanian translations",
"Terms with Ancient Greek translations",
"Terms with Arabic translations",
"Terms with Armenian translations",
"Terms with Azerbaijani translations",
"Terms with Bashkir translations",
"Terms with Belarusian translations",
"Terms with Bengali translations",
"Terms with Bulgarian translations",
"Terms with Catalan translations",
"Terms with Czech translations",
"Terms with Danish translations",
"Terms with Dutch translations",
"Terms with Esperanto translations",
"Terms with Estonian translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with Galician translations",
"Terms with Georgian translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Gujarati translations",
"Terms with Hebrew translations",
"Terms with Hindi translations",
"Terms with Hungarian translations",
"Terms with Icelandic translations",
"Terms with Indonesian translations",
"Terms with Irish translations",
"Terms with Italian translations",
"Terms with Japanese translations",
"Terms with Kazakh translations",
"Terms with Khmer translations",
"Terms with Korean translations",
"Terms with Kyrgyz translations",
"Terms with Lao translations",
"Terms with Latin translations",
"Terms with Latvian translations",
"Terms with Lithuanian translations",
"Terms with Macedonian translations",
"Terms with Malay translations",
"Terms with Mandarin translations",
"Terms with Mongolian translations",
"Terms with Northern Kurdish translations",
"Terms with Norwegian Bokmål translations",
"Terms with Norwegian Nynorsk translations",
"Terms with Pashto translations",
"Terms with Persian translations",
"Terms with Polish translations",
"Terms with Portuguese translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Serbo-Croatian translations",
"Terms with Slovak translations",
"Terms with Slovene translations",
"Terms with Spanish translations",
"Terms with Swedish translations",
"Terms with Tagalog translations",
"Terms with Tajik translations",
"Terms with Thai translations",
"Terms with Turkish translations",
"Terms with Turkmen translations",
"Terms with Ukrainian translations",
"Terms with Urdu translations",
"Terms with Uyghur translations",
"Terms with Uzbek translations",
"Terms with Vietnamese translations"
],
"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"
}
],
"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": "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": "Fubini'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": "Kuratowski-Ulam theorem"
},
{
"word": "Kutta-Joukowski theorem"
},
{
"word": "Lefschetz fixed-point theorem"
},
{
"word": "Lickorish-Wallace theorem"
},
{
"word": "Lindelöf covering theorem"
},
{
"word": "Lindemann-Weierstrass theorem"
},
{
"word": "Liouville-Arnold theorem"
},
{
"word": "Löb's theorem"
},
{
"word": "Löwenheim-Skolem theorem"
},
{
"word": "Maharam's theorem"
},
{
"word": "Matiyasevich's theorem"
},
{
"word": "Mayer-Norton theorem"
},
{
"word": "mean value theorem"
},
{
"word": "Menger's theorem"
},
{
"word": "midline theorem"
},
{
"word": "midpoint theorem"
},
{
"word": "Miquel's theorem"
},
{
"word": "Mittag-Leffler's theorem"
},
{
"word": "monotone convergence theorem"
},
{
"word": "Monsky's theorem"
},
{
"word": "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": "Størmer's theorem"
},
{
"word": "Sturm's theorem"
},
{
"word": "Sumihiro's theorem"
},
{
"word": "Sylow theorem"
},
{
"word": "Sylvester-Gallai theorem"
},
{
"word": "Tarski-Seidenberg theorem"
},
{
"word": "Tarski's fixed-point theorem"
},
{
"word": "Tauberian theorem"
},
{
"word": "Thales's theorem"
},
{
"word": "theorem of Pythagoras"
},
{
"word": "Thévenin's theorem"
},
{
"word": "Thue's theorem"
},
{
"word": "Titchmarsh convolution theorem"
},
{
"word": "Torricelli's theorem"
},
{
"word": "van der Waerden's theorem"
},
{
"word": "Varignon's theorem"
},
{
"word": "Veblen's theorem"
},
{
"word": "Vinogradov's theorem"
},
{
"word": "virial theorem"
},
{
"word": "Vitali-Carathéodory theorem"
},
{
"word": "Weierstrass-Lindemann theorem"
},
{
"word": "Whitney's theorem"
},
{
"word": "Wick's theorem"
},
{
"word": "Wigner-Eckart theorem"
},
{
"word": "Wilks's theorem"
},
{
"word": "Zeckendorf's theorem"
},
{
"word": "Zermelo's theorem"
}
],
"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": "Special: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"
],
[
"syntactically",
"syntactically"
],
[
"expression",
"expression"
],
[
"deducible",
"deducible"
],
[
"axioms",
"axioms"
],
[
"deductive",
"deductive"
],
[
"system",
"system"
]
],
"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"
]
},
{
"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"
},
{
"ipa": "/ˈθɪəɹ.əm/",
"tags": [
"US"
]
},
{
"rhymes": "(US) -ɪəɹəm"
}
],
"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 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 verbs",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Requests for review of Icelandic translations",
"Rhymes:English/ɪəɹəm",
"Rhymes:English/ɪəɹəm/2 syllables",
"Terms with Albanian translations",
"Terms with Ancient Greek translations",
"Terms with Arabic translations",
"Terms with Armenian translations",
"Terms with Azerbaijani translations",
"Terms with Bashkir translations",
"Terms with Belarusian translations",
"Terms with Bengali translations",
"Terms with Bulgarian translations",
"Terms with Catalan translations",
"Terms with Czech translations",
"Terms with Danish translations",
"Terms with Dutch translations",
"Terms with Esperanto translations",
"Terms with Estonian translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with Galician translations",
"Terms with Georgian translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Gujarati translations",
"Terms with Hebrew translations",
"Terms with Hindi translations",
"Terms with Hungarian translations",
"Terms with Icelandic translations",
"Terms with Indonesian translations",
"Terms with Irish translations",
"Terms with Italian translations",
"Terms with Japanese translations",
"Terms with Kazakh translations",
"Terms with Khmer translations",
"Terms with Korean translations",
"Terms with Kyrgyz translations",
"Terms with Lao translations",
"Terms with Latin translations",
"Terms with Latvian translations",
"Terms with Lithuanian translations",
"Terms with Macedonian translations",
"Terms with Malay translations",
"Terms with Mandarin translations",
"Terms with Mongolian translations",
"Terms with Northern Kurdish translations",
"Terms with Norwegian Bokmål translations",
"Terms with Norwegian Nynorsk translations",
"Terms with Pashto translations",
"Terms with Persian translations",
"Terms with Polish translations",
"Terms with Portuguese translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Serbo-Croatian translations",
"Terms with Slovak translations",
"Terms with Slovene translations",
"Terms with Spanish translations",
"Terms with Swedish translations",
"Terms with Tagalog translations",
"Terms with Tajik translations",
"Terms with Thai translations",
"Terms with Turkish translations",
"Terms with Turkmen translations",
"Terms with Ukrainian translations",
"Terms with Urdu translations",
"Terms with Uyghur translations",
"Terms with Uzbek translations",
"Terms with Vietnamese translations"
],
"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"
}
],
"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"
]
},
{
"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"
},
{
"ipa": "/ˈθɪəɹ.əm/",
"tags": [
"US"
]
},
{
"rhymes": "(US) -ɪəɹəm"
}
],
"word": "theorem"
}
Download raw JSONL data for theorem meaning in English (34.5kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-12-15 from the enwiktionary dump dated 2024-12-04 using wiktextract (8a39820 and 4401a4c). 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.