「外延性」を解説文に含む見出し語の検索結果(1～10/258件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/06 10:15 UTC 版)「外延性の公理」の記事における「他の公理との関係」の解説空集合の公理、対の公理、和集合の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 16:37 UTC 版)「ラムダ計算」の記事における「η-変換」の解説上に挙げた2つの規則の他に、第3...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/11 10:09 UTC 版)「集合」の記事における「外延性の公理」の解説A, Bを任意の集合とするとき、もし任意の集...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「1. 外延性の公理」の解説詳細は「外延性...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/21 02:06 UTC 版)「素朴集合論」の記事における「同一性」の解説2つの集合 A と B は、まったく同じ要素...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/07 16:26 UTC 版)「公理的集合論」の記事における「ツェルメロ＝フレンケル集合論（ZF公理系）」の解説詳細は...
外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
対の公理（ついのこうり、axiom of pairing）は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。
対の公理（ついのこうり、axiom of pairing）は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。
< 前の結果 | 次の結果 >