出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/07 16:26 UTC 版)「公理的集合論」の記事における「モース-ケリー集合論」の解説モース-ケリー集合論を参照。

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/05 18:06 UTC 版)「順序対」の記事における「モースの定義」の解説モース・ケリー集合論（英語版） では真のク...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/22 09:20 UTC 版)「フォン・ノイマン宇宙」の記事における「Vと集合論」の解説ω を自然数全体の集合とすると...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/02 02:43 UTC 版)「クラス (集合論)」の記事における「公理的集合論におけるクラス」の解説ZFではクラスの...

数学の集合論とその周辺分野において、フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用い...

数学の集合論とその周辺分野において、フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用い...

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 23:44 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「累積階層による動機づけ」の解説ZFC公理...