精選版 日本国語大辞典 「定理」の意味・読み・例文・類語
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 平凡社「普及版 字通」普及版 字通について 情報
出典 株式会社平凡社百科事典マイペディアについて 情報
証明されている命題をいう。すなわち、ある数学的理論において、その理論の公理から正しい推論を重ねることによって得られる命題が定理である。定理は、すでに知られている諸定理から、さらに推論を重ねて導かれるのが普通である。定義からすれば、証明された命題はすべて定理であるが、実際には、その理論のなかで主張したい事柄のみが、定理として提出される。証明された命題のなかで、理論の展開として主張したいものではないが、定理の証明にたびたび用いるとか、定理の証明の筋道として明確にしておきたい命題を、その定理の補題という。また、定理の一般的条件を特殊な場合に制限した命題にすると、主張したい事柄がわかりやすくなることがある。このような命題を、その定理の系という。
[廣瀬 健]
出典 株式会社平凡社世界大百科事典 第2版について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。このような形で学問を体系化することを公理化axiomatizationという。…
…この語には,もはやどの規則も適用できない。一般に形式システムでは,推論規則によって公理から定理が導出されるという。導出される定理のうち,どの規則も適用できないものを終端定理と呼ぶ。…
…まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。このような形で学問を体系化することを公理化axiomatizationという。…
※「定理」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社世界大百科事典 第2版について | 情報
他の人にすすめること。また俗に、人にすすめたいほど気に入っている人や物。「推しの主演ドラマ」[補説]アイドルグループの中で最も応援しているメンバーを意味する語「推しメン」が流行したことから、多く、アイ...
11/10 日本大百科全書(ニッポニカ)を更新
10/26 ブリタニカ国際大百科事典 小項目事典を更新
10/19 デジタル大辞泉プラスを更新
10/19 デジタル大辞泉を更新
10/10 日本大百科全書(ニッポニカ)を更新
9/11 日本大百科全書(ニッポニカ)を更新