「置換公理」を解説文に含む見出し語の検索結果(11～20/239件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/07 16:26 UTC 版)「公理的集合論」の記事における「分出公理」の解説置換公理はフレンケルによって次の分出公理...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 07:08 UTC 版)「カントールの対角線論法」の記事における「参考文献・脚注」の解説Cantor's Dia...
ナビゲーションに移動検索に移動集合論において、クレパ木とは高さ ω 1 {\displaystyle \omega _{1}} の木(T, <)であって、全ての水準 (Leve...
ナビゲーションに移動検索に移動集合論において、クレパ木とは高さ ω 1 {\displaystyle \omega _{1}} の木(T, <)であって、全ての水準 (Leve...
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせるこ...
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせるこ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/14 07:54 UTC 版)「素朴集合論」の記事における「集合の特定」の解説集合を表す最も簡単な方法は、その要素を列...
公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。定義公理図式とは、ある一群の（多くの場合...
公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。定義公理図式とは、ある一群の（多くの場合...
公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。定義公理図式とは、ある一群の（多くの場合...