「他の公理との関係」を解説文に含む見出し語の検索結果(1～9/9件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/06 10:15 UTC 版)「外延性の公理」の記事における「他の公理との関係」の解説空集合の公理、対の公理、和集合の...
外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...
対の公理（ついのこうり、axiom of pairing）は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。
対の公理（ついのこうり、axiom of pairing）は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。
可算選択公理（英: Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一つずつ元を...
置換公理（英語: axiom schema of replacement）または置換公理図式は、公理的集合論におけるZF公理系を構成する公理の一つである。この公理は、任意の任意の集合間のすべて...
置換公理（英語: axiom schema of replacement）または置換公理図式は、公理的集合論におけるZF公理系を構成する公理の一つである。この公理は、任意の任意の集合間のすべて...
< 前の結果 | 次の結果 >