補題と定理の違い
として使用する場合 名詞 、 補題 は、他の命題の証明にすぐに使用できることが証明または受け入れられた命題を意味します。 定理 真実であることが証明されている重要な数学的ステートメントを意味します。マイナーな定理はしばしば命題と呼ばれます。それ自体はあまり面白くないが、より大きな定理の証明の本質的な部分である定理は、補題と呼ばれます。
定理 また〜だ 動詞 意味を持つ:定理に定式化する。
他の定義については、以下を確認してください 補題 そして 定理
-
補題 持っている 名詞 (数学):
命題は、他の命題の証明にすぐに使用できることが証明または承認されました。
-
補題 持っている 名詞 (言語学、辞書編集):
屈折した単語の正規形。つまり、名詞の主格単数、動詞の不定詞など、辞書で通常見出しとして見つかる形式。
-
補題 持っている 名詞 (心理言語学):
語彙素の音として特定の音韻形式を作成する前の、特定の意味を表す単語の理論的な抽象的な概念形式。辞書または辞書式単語として特定の書面形式で表現を見つけることができます。
-
補題 持っている 名詞 (植物学):
果物または同様の体の外殻。
-
補題 持っている 名詞 (植物学):
草の中の小花の周りの特殊な苞葉の1つ。
-
定理 持っている 名詞 (数学):
真実であることが証明されているいくつかの重要な数学的ステートメント。マイナーな定理はしばしば命題と呼ばれます。それ自体はあまり面白くないが、より大きな定理の証明の本質的な部分である定理は、補題と呼ばれます。
-
定理 持っている 名詞 (数学、口語、非標準):
真実であると期待される数学的ステートメント
例:
「[[w:フェルマーの最終定理]]は、1990年代に証明されるずっと前から知られていました。」
-
定理 持っている 名詞 (論理):
演繹システムの与えられた公理から推論できる構文的に正しい表現。
-
定理 持っている 動詞 (推移的):
定理に定式化する。