[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
470(1): 2021/12/19(日)10:23 AAS
>>465
>WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
これ誤りね
wikiは素人も書けるから実にしばしば嘘が書いてあるね
例えばVωは0に冪集合の演算をω回繰り返して得られた集合ではない
フォン・ノイマン宇宙
外部ﾘﾝｸ:ja.wikipedia.org
「各極限順序数 λに対して、Vλは、次の和集合とする
V_λ:=∪(β<λ) V_β」
つまり0に冪集合の演算を任意有限回（β回）繰り返して得られたV_βの和集合
省2
471: 2021/12/19(日)10:28 AAS
>ZFでは、集合演算(対集合、和集合、冪集合)を、
>有限回、あるいは超限回繰り返して良いんじゃね？
ZFに限らず、演算の超限回繰り返しは駄目です
>>470の無限個の集合の和をとっているところがありますが
これは一回の演算で可能なように定義してますから問題ありません
しかしそういう定義ができないなら意味がないので駄目です
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.734s*