調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
日本語WordNet(英和)
theorem
名詞
Wiktionary英語版
出典：Wiktionary
theorem
出典:『Wiktionary』 (2026/05/06 21:23 UTC 版)
語源
From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “to look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “to see, look”). See also theory, and theater.
名詞
- (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.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
同意語
- (proven statement): lemma, proposition, statement, see Thesaurus:theorem
- (unproven statement): conjecture, hypothesis
- See also Thesaurus:statement
下位語
Hyponyms of theorem (informatics)
- Böhm-Jacopini theorem
- structured program theorem
Hyponyms of theorem (mathematics)
- Aumann's agreement theorem
- Bernoulli's theorem
- binomial theorem
- Carnot's theorem
- central limit theorem
- Ceva's theorem
- Cook-Levin theorem
- Cook's theorem
- cosine theorem
- De Morgan's theorem
- double angle theorem
- Dvoretzky's theorem
- Eggan's theorem
- Euclid's theorem
- exterior angle theorem
- extreme value theorem
- Fermat's Last Theorem
- first isomorphism theorem
- Fisher-Tippett-Gnedenko theorem
- Fisher-Tippett theorem
- fundamental theorem
- fundamental theorem of algebra
- fundamental theorem of arithmetic
- Gauss' theorem
- Gleason's theorem
- Gödel's incompleteness theorem
- Gödel's theorem
- Green's theorem
- Haag's theorem
- Hales-Jewett theorem
- Hindman's theorem
- Hirzebruch-Riemann-Roch theorem
- inscribed angle theorem
- intercept theorem
- Kelvin-Stokes theorem
- Knaster-Tarski theorem
- Lagrange's theorem
- Menelaus' theorem
- Milliken-Taylor theorem
- Nernst heat theorem
- Paris-Harrington theorem
- Parthasarathy's theorem
- Pythagoras' theorem
- Rado-Folkman-Sanders theorem
- Rado's theorem
- Schur's theorem
- sine theorem
- Sinkhorn's theorem
- Stokes' theorem
- Stone-Weierstrass theorem
- Szemerédi's theorem
- Thales' theorem
- time hierarchy theorem
- Tonelli's theorem
- Turán's theorem
- Van der Waerden's theorem
- Abel-Ruffini theorem
- Abel's impossibility theorem
- Abel's irreducibility theorem
- Abel's theorem
- Arrow's theorem
- Atiyah-Singer index theorem
- Ax-Grothendieck theorem
- Ax-Kochen theorem
- bathtub theorem
- Bayes' theorem
- Bell-Kochen-Specker theorem
- Bell's theorem
- Belyi's theorem
- Bertrand-Chebyshev theorem
- Bézout's theorem
- Bloch's theorem
- Blum's speedup theorem
- Bogoliubov-Parasyuk theorem
- Bombieri-Friedlander-Iwaniec theorem
- Bondareva-Shapley theorem
- Borsuk-Ulam theorem
- Brewer's theorem
- Brouwer fixed-point theorem
- Brouwer's fixed-point theorem
- Bruck-Ryser-Chowla theorem
- Brunn-Minkowski theorem
- Brun's theorem
- Budan's theorem
- Cantor-Bendixson theorem
- Cantor's theorem
- Castigliano's first theorem
- Castigliano's second theorem
- Castigliano's theorem
- Cayley's theorem
- Chebyshev's theorem
- Chen's theorem
- Chinese remainder theorem
- Church-Rosser theorem
- Clausius theorem
- Coase theorem
- commutant lifting theorem
- complex conjugate root theorem
- consensus theorem
- Darboux's theorem
- de Bruijn-Erdős theorem
- de Bruijn's theorem
- deduction theorem
- de Moivre's theorem
- Desargues's theorem
- Dirichlet's unit theorem
- divergence theorem
- Earnshaw's theorem
- edge-of-the-wedge theorem
- Ehrenfest theorem
- Euler's rotation theorem
- Fary-Milnor theorem
- Feit-Thompson theorem
- Fermat's last theorem
- Fermat's little theorem
- fluctuation theorem
- four color theorem
- free will theorem
- Freiman's theorem
- Frucht's theorem
- Fubini's theorem
- fundamental theorem of calculus
- fundamental theorem of calculus for line integrals
- Futurama theorem
- Gauss-Bonnet theorem
- Gauss-Lucas theorem
- Geiringer-Laman theorem
- Gelfond-Schneider theorem
- Gibbard-Satterthwaite theorem
- Gibbard's theorem
- Ginsberg's theorem
- Goddard-Thorn theorem
- Gomory's theorem
- Goodstein's theorem
- Gottesman-Knill theorem
- Gougu theorem
- Green-Tao theorem
- Grothendieck-Riemann-Roch theorem
- Grötzsch's theorem
- Hadwiger's theorem
- hairy ball theorem
- ham sandwich theorem
- Harnack's curve theorem
- Heine-Borel theorem
- Helly-Bray theorem
- Helly's selection theorem
- Helly's theorem
- Herbrand-Ribet theorem
- Herbrand's theorem
- Herglotz-Noether theorem
- Hilbert's basis theorem
- Hjelmslev's theorem
- Holevo's theorem
- Hurewicz theorem
- infinite monkey theorem
- intermediate value theorem
- Japanese theorem
- Jordan curve theorem
- Kazhdan-Margulis theorem
- Kleene fixed-point theorem
- Kleene's fixed-point theorem
- Kleene's recursion theorem
- Kleene's theorem
- Kochen-Specker theorem
- Kodaira vanishing theorem
- Kolmogorov-Arnold-Moser theorem
- Koopmans' theorem
- Kramers' theorem
- Krein-Milman theorem
- Kruskal's tree theorem
- KS theorem
- Kummer's theorem
- Kuratowski-Ulam theorem
- Kutta-Joukowski theorem
- Lefschetz fixed-point theorem
- Lickorish-Wallace theorem
- Lindelöf covering theorem
- Lindemann-Weierstrass theorem
- Liouville-Arnold theorem
- Löb's theorem
- Löwenheim-Skolem theorem
- Maharam's theorem
- Matiyasevich's theorem
- Mayer-Norton theorem
- mean value theorem
- Menger's theorem
- midline theorem
- midpoint theorem
- Miquel's theorem
- Mittag-Leffler's theorem
- monotone convergence theorem
- Monsky's theorem
- Mordell-Weil theorem
- Morley's trisector theorem
- MRDP theorem
- Nachbin's theorem
- Neukirch-Uchida theorem
- no-communication theorem
- Noether's theorem
- no free lunch theorem
- no-ghost theorem
- no-go theorem
- no-hair theorem
- Norton's theorem
- orbit-stabilizer theorem
- Ore's theorem
- pancake theorem
- Pappus's hexagon theorem
- parallel axis theorem
- Parseval's theorem
- Pasch's theorem
- perpendicular axis theorem
- Petersen-Morley theorem
- Petersen's theorem
- Picard-Lindelöf theorem
- Poincaré-Birkhoff-Witt theorem
- Poynting's theorem
- Price's theorem
- prime number theorem
- Ptolemy's theorem
- Pythagorean theorem
- Radon's theorem
- Ramsey's theorem
- rank-nullity theorem
- rational root theorem
- Rice's theorem
- Richardson's theorem
- Riemann-Roch theorem
- Robertson-Seymour theorem
- Rolle's theorem
- Romanov's theorem
- Roth's theorem
- Runge's theorem
- Savitch's theorem
- scallop theorem
- Schiffler's theorem
- Sharkovskii's theorem
- Siegel-Walfisz theorem
- Slutsky's theorem
- Solèr's theorem
- spectral theorem
- Sperner's theorem
- Sprague-Grundy theorem
- squeeze theorem
- Stark-Heegner theorem
- Stone's representation theorem
- Størmer's theorem
- Sturm's theorem
- Sumihiro's theorem
- Sylow theorem
- Sylvester-Gallai theorem
- Tarski-Seidenberg theorem
- Tarski's fixed-point theorem
- Tauberian theorem
- Thales's theorem
- theorem of Pythagoras
- Thévenin's theorem
- Thue's theorem
- Titchmarsh convolution theorem
- Torricelli's theorem
- van der Waerden's theorem
- Varignon's theorem
- Veblen's theorem
- Vinogradov's theorem
- virial theorem
- Vitali-Carathéodory theorem
- Wallace-Bolyai-Gerwien theorem
- Weierstrass-Lindemann theorem
- Whitney's theorem
- Wick's theorem
- Wigner-Eckart theorem
- Wilks's theorem
- Zeckendorf's theorem
- Zermelo's theorem
Holonyms
派生語
- antitheorem
- countertheorem
- metatheorem
- nontheorem
- theorematic
- theoremhood
- theoremic
関連する語
動詞
theorem (third-person singular simple present theorems, present participle theoreming, simple past and past participle theoremed)
- (transitive) To formulate into a theorem.
Further reading
Weblio例文辞書
theorem
1
例文
a theorem
3
4
推理の
5
例文
7
例文
例文
9
例文
13
例文
proof of a mathematical theorem
例文
16
例文
17
例文
18
20
例文
the binomial theorem
24
二項定理.
例文
the binomial theorem
26
27
例文
30
Weblio例文辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
名詞の変化形：
|
全履歴クリア
| ・THEOREM | |
| ・prox. | |
| ・LPSs | |
| ・gaf | |
| ・alce | |
| ・issue a warning | |
| ・obis | |
| ・Gya | |
| ・platform ticket | |
| ・algebraic structures |
単語帳に追加
- Copyright (c) 1995-2026 Kenkyusha Co., Ltd. All rights reserved.
- Copyright © Benesse Holdings, Inc. All rights reserved.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- Copyright (C) 2026 ライフサイエンス辞書プロジェクト
- 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
- Copyright © 2026 CJKI. All Rights Reserved
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのtheorem (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- CMUdict
- CMUdict is Copyright (C) 1993-2008 by Carnegie Mellon University.
