「6. 置換公理」を解説文に含む見出し語の検索結果(1~10/208件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/08 15:26 UTC 版)「ツェルメロ=フレンケル集合論」の記事における「6. 置換公理」の解説詳細は「置換公理」...
置換公理(英語: axiom schema of replacement)または置換公理図式は、公理的集合論におけるZF公理系を構成する公理の一つである。この公理は、任意の任意の集合間のすべて...
置換公理(英語: axiom schema of replacement)または置換公理図式は、公理的集合論におけるZF公理系を構成する公理の一つである。この公理は、任意の任意の集合間のすべて...
主な公理的集合論の多くにおいて、分出公理(英: axiom schema of specification)、分出公理図式、部分集合公理、制限された内包公理(図式)とは、公理図式の一つである。
公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。集合の公理系ツェルメロ=フレンケル集合論(ZF公理系)→「ツェルメロ=フレンケル...
公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。集合の公理系ツェルメロ=フレンケル集合論(ZF公理系)→「ツェルメロ=フレンケル...
数学基礎論において、モース-ケリー集合論(MK, 英: Morse-Kelley set theory)、ケリー-モース集合論(KM)、モース-タルスキー集合論(MT)、クワイン-モース集合論...
数学基礎論において、モース-ケリー集合論(MK, 英: Morse-Kelley set theory)、ケリー-モース集合論(KM)、モース-タルスキー集合論(MT)、クワイン-モース集合論...
数学基礎論において、モース-ケリー集合論(MK, 英: Morse-Kelley set theory)、ケリー-モース集合論(KM)、モース-タルスキー集合論(MT)、クワイン-モース集合論...
空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やKP集合論の公理の一つで、「いかなる要素も含まない集合が存在する」ことを...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS