[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
443(1): １３２人目の素数さん [] 2021/11/21(日) 11:17:54.71 ID:ZtueUz+V(11/15) AAS
>>436
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
もう「なんか知らんけど超越数とか出せば煙に巻けるだろうと思いました」って正直に言いなよ
君がバカなのはもうバレてるから装わなくていいよ
444(6): １３２人目の素数さん [] 2021/11/21(日) 13:44:34.39 ID:fskC7CH9(11/17) AAS
>>442-443
なんだ、子供が二人か？
(再録)
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
ZFC公理系で、集合を構築していくのに、空集合φから出発して、複雑な集合を作る
ここまでは良いよね
簡単な有限集合の場合には、φからの「最外カッコ」の有無が、有効な判定法かもしれない
しかし、複雑な集合ほど、φからの「最外カッコ」の有無という判定法は通用しない
まして、無限集合になれば、φからの「最外カッコ」の有無という判定法は通用しない（πとか超越数の例はそれ>>436）
それって、当然じゃね？
その端的な例が、
ノイマン構成で、N（＝ω）＝{0,1,2,・・n・・}で、カッコ{}を外すと、0,1,2,・・n・・と最大値を持たない状態になる>>419
という話で
この最大値を持たない状態を認めるならば
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω>>419
で
fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω となる
ここに、「最外カッコ」は、{}ωで明白に存在するよ
だから、「最外カッコ」判定ならば、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωはセーフ>>419
{}ωを外す
･･{{･･{{{}0}1}2･･}n-1}n･･ となる
これは、最大値を持たない状態（個々の要素は有限で列の長さは無限）になるけど、
それはカッコ{}ｎが全自然数を走るゆえの必然でしょ
この存在を、必死に否定しようとするけど
それ、無理だよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s