「レーヴェンハイム＝スコーレムの定理」を解説文に含む見出し語の検索結果(21～30/235件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
数学のエポニムの一覧（すうがくのエポニムのいちらん）は、数学分野におけるエポニムの一覧である。あ行ポール・エルデシュに由来するものはポール・エルデシュに因んで命名された物の一覧参照レオンハルト・オイラ...
数学のエポニムの一覧（すうがくのエポニムのいちらん）は、数学分野におけるエポニムの一覧である。あ行ポール・エルデシュに由来するものはポール・エルデシュに因んで命名された物の一覧参照レオンハルト・オイラ...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...