「ペアノの公理」を解説文に含む見出し語の検索結果(71～80/159件中)
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムの...
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムの...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
公理（こうり、英: axiom）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語...
公理（こうり、英: axiom）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語...
公理（こうり、英: axiom）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語...
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
数学において、集合が有限（ゆうげん、英語: finite）であるとは、自然数 n を用いて {1, 2, ..., n} という形にあらわされる集合との間に全単射...