「ペアノの公理」を解説文に含む見出し語の検索結果(21~30/159件中)
.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...
.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...
.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...
無限公理(むげんこうり、英: axiom of infinity)とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによっ...
無限公理(むげんこうり、英: axiom of infinity)とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによっ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/16 08:53 UTC 版)「型理論」の記事における「単純階型理論(Simple Theory of Types)」...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/07 07:14 UTC 版)「自明性 (数学)」の記事における「数学的な理由における自明性」の解説自明なはまた証明の...