現代数学の系譜カントル超限集合論他 3

[過去ﾛｸﾞ] 現代数学の系譜カントル超限集合論他 3 (548ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

345: １３２人目の素数さん [] 2021/11/16(火) 07:38:59.15 ID:zELQeDp3

>>342 追加
(引用開始)
箱入り無数目を語る部屋2
https://rio2016.5ch.net/test/read.cgi/math/1629325917/1
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401
時枝問題（数学セミナー201511月号の記事）
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
(引用終り)

「箱が 可算無限個ある」
これ数学だよね
分かりますか？

箱を棒に変えてもいい
棒が 可算無限個ある

棒を"}"（カッコ）に変えてもいい
"}"が 可算無限個ある

そして、"{"も、同様に可算無限個ある
だから、カッコ {} が、可算無限個重なったものも、数学として考え得るよ

上記の時枝問題、「箱が 可算無限個ある」は
□,□,・・・ とエンドレス無限（可能無限）ですよ、分かりますか？

"}"（右カッコ）ならば、},},・・・ とエンドレス
同様に、"{"（左カッコ）で、・・・,{,{ とエンドレス

合わせれば、・・・,{,{ },},・・・ とエンドレス無限（可能無限）重なったものが、考えられる

φなら、{} （φ：空集合）
φの1重なら、{{}}
　・
　・
ω重なら、{・・・,{,{},},・・・}

ω重から、・・・,{,{ },},・・・ なるものができる
それは、ノイマン構成でも同じこと

ノイマン構成 N（=ω）＝{0,1,2,・・・}で
{}を外すと、0,1,2,・・・ なる列ができるが、これはエンドレス無限（可能無限）

0,1,2,・・・は、一番右は決められない。エンドレスだから
しかし、可算無限列 0,1,2,・・・は、厳然と存在するよね

そして、可算無限列 0,1,2,・・・の右端は存在しないが、・・・の部分も厳然と存在して、全ての自然数を尽くす
・・・,{,{ },},・・・ なるものも同じで、・・・の部分も厳然と存在して、全ての自然数の個数を尽くすってこと

これを否定しようとするのは、
無理ゲーでしょ。エンドレス無限（可能無限）を公理として導入した以上は

http://rio2016.5ch.net/test/read.cgi/math/1595034113/345

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s