[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
452(2): 2021/11/21(日)21:37 ID:ZtueUz+V(12/15) AAS
>>444
>{}ωを外す
>･･{{･･{{{}0}1}2･･}n-1}n･･ となる
>これは、最大値を持たない状態（個々の要素は有限で列の長さは無限）になるけど
じゃあ最外カッコが無いじゃんｗ
>ここに、「最外カッコ」は、{}ωで明白に存在するよ
それは最内カッコから数えて何番目？
省7
463(2): 2021/11/22(月)01:18 ID:HIqODhps(5/8) AAS
>>458
>最外カッコが無いことはないが、具体的に示せない
いや、無い。
何番目か定まらないようなカッコは「有る」とは言わない。>>452
強引に「何番目か定まらない最外カッコが有る」と強弁したところで、その元に最外カッコが無い、つまり集合でない。
これは公理的集合論では認められない。結局ダメ。
469(3): 2021/11/22(月)07:58 ID:o+kXZxaO(3/4) AAS
>>463
(引用開始)
>最外カッコが無いことはないが、具体的に示せない
いや、無い。
何番目か定まらないようなカッコは「有る」とは言わない。>>452
(引用終り)
なんだ、そこから躓いているのか？
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.226s*