- 1 名前：１３２人目の素数さん mailto:sage [2020/07/18(土) 10:01:53 ID:ywyns0bH.net]
- このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですｗ
１）テンプレ１
過去スレ
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
現代数学の系譜 カントル 超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/
関連スレ
１）現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き
２） １）の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-
３） ２）の中の正則性公理に関する議論の前のスレ（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-
２）テンプレ２
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミ・・ つまり;
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよｗ（＾＾；
好きなときに好きなことを書かせてもらいます
５CH数学板は、遊びです
https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日（30日深夜）に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
- 357 名前：１３２人目の素数さん [2021/11/13(土) 14:56:39.04 ID:c0RFxVGB.net]
- 集合論オタが非オタの彼女に集合論世界を軽く紹介するための１０定理
いやいやいやいや、非ヲタには
「いかなる順序数の降下列も有限列」
という初等的な定理すら理解不能ですからぁ、残念っ！
アロンシャイン木
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%B7%E3%83%A3%E3%82%A4%E3%83%B3%E6%9C%A8
基数κに対して、 κ-アロンシャイン木とは、
高さκの木で全てのレベルのサイズがκ未満で、
全ての枝の高さがκ未満の木のこと
アレフ0-アロンシャイン木は･･･存在しない
アレフ1-アロンシャイン木は･･･存在する
アレフ2-アロンシャイン木は･･･決定不能！
（連続体仮説を前提した場合存在する
前提しない場合、存在しないとしても無矛盾）
- 358 名前：１３２人目の素数さん [2021/11/13(土) 20:43:41.33 ID:OtqEOAj/.net]
- >>327
>>327
>><ωは全ての自然数より大、
>>言い換えれば、全ての自然数はω未満
>>と解釈すれば良い
>それは降下列の定義の否定ね
違うよ
降下列の定義は
1．整列させて
2．頭から、付番する。1,2,3,・・とね
3．その結果、a1>a2>a3>・・と、”
- 359 名前：>”で並べば、降下列となる
4．しかし、「付番 1,2,3,・・」が無ければ、降下列うんぬんは関係ない [] - [ここ壊れてます]
- 360 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 07:07:15.75 ID:Ci/bJtJU.net]
- >>331
- 361 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 07:11:50.97 ID:Ci/bJtJU.net]
- >>331
>降下列うんぬんは関係ない
そもそも「無限シングルトン」に対する指摘
「{{{･･･}}}なら、無限降下列が存在するから集合でない」
から始まったので、「関係ない」は君の敗北宣言
ついでにいうと･･･{{{}}}･･･ならそもそも最外の{}がないから集合でない
- 362 名前：１３２人目の素数さん [2021/11/14(日) 20:42:10.02 ID:LFoQx2jW.net]
- 「実無限」と「可能無限」
まあ、これでも
https://mathsoc.jp/publication/tushin/2104/2016sunada.pdf
数学の発展と展望?
明治大学総合数理学部
砂田 利一
?この文章は 2016 年 9 月 19 日に関西大学で行った日本数学会 70 周年記念講演に基づいている．
2 無限の概念
ここで，カントルの理論の背景にある，無限概念についての歴史を振り返ろう．集合
論を「血と肉」としている我々数学者にとって，今更「無限」についての特別な感興が
呼び起こされることはほとんどない．すなわち，それほど現代数学は集合概念に依存し，
初めから概念が用意されていたかの如く，我々は無限というものに慣れ親しんでいるの
である．しかし，無限概念に対する数学者と哲学者の態度には，時代に応じた違いが見ら
れる．一言で言えば，古代ギリシャの伝統を引き継いだヨーロッパの文化的環境が，（時
代は移るものの）無限に関する考察を深化させ，最終的にはカントルの理論に至ったのである．
無限を最初に扱ったのは，古代ギリシャのアナクシマンドロス（前 610 頃?前 546 頃）
である．彼は「アペイロン」（限りがない）という概念を導入し，それを万物の根源（ア
ルケー）とした．その後アナクサゴラス（前 510 頃?前 428 頃）により「無限大，無限小」
について語られたが，19 世紀後半まで歴史の中で大きな影響を与えたのはアリストテレ
ス（前 384?前 355）である．彼は，無限には「実無限」と「可能無限」の 2 種類があっ
て，可能無限は認められるが，実無限は存在しないと考えた．カントルの集合論は，ま
さにアリストテレスに対するアンチテーゼなのである．
念のため，「実無限」と「可能無限」の意味を与えておく．
可能無限：無限を把握出来るのは，限りがないということを確認する操作が
存在していることだけで，無限全体というのは認識出来ないとする立場
実無限：無限の対象の全体性を把握して，無限が実際に存在しているとする立場
つづく
- 363 名前：１３２人目の素数さん [2021/11/14(日) 20:42:58.78 ID:LFoQx2jW.net]
- >>334
つづき
例えば，自然数は，1, 2, 3, 4, ・ ・ ・ というように，順に数え上げていくことで認識され
る対象であるというのが可能無限的考え方であって，他方，自然数全体の集まりを一挙
に認識し，それを例えば記号 Z で表すというのが実無限的考え方である．
「可能無限」は人間の認識能力の限界の中で確かめられる無限であり，実無限は有限
の存在である人間の及ぶところではない超越的な無限と言ってもよい．
(引用終り)
- 364 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 21:40:17.62 ID:Ci/bJtJU.net]
- 書けなくて コピペに頼る ド素人
- 365 名前： []
- [ここ壊れてます]
- 366 名前：１３２人目の素数さん [2021/11/14(日) 22:49:13.49 ID:jzMQoxeJ.net]
- >>326
>０，１，・・ <ｎ< ・・ <ω
>としても，<ωは全ての自然数より大、言い換えれば、全ての自然数はω未満
>と解釈すれば良い
>それで
>何の問題もない
ω>・・ >ｎ>・・>1>０ が下降列ではないという問題がある
ωの次が無いから
- 367 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 07:03:39.58 ID:PvleFi78.net]
- >>337
そもそも無限シングルトンが集合でない
という根拠の一つに下降列がでてきた
ω>・・ >ｎ>・・>1>０ が下降列ではないとすると、
何で無限シングルトンが集合でないかというと
下降列の各項に()を対応させた場合
ωに対応する()を外したら
その最外にはもはや｛｝が存在せず
要素をとることができなくなるから
- 368 名前：１３２人目の素数さん [2021/11/15(月) 08:33:24.53 ID:rki1vL4O.net]
- >>338
>ωに対応する()を外したら
>その最外にはもはや｛｝が存在せず
>要素をとることができなくなるから
1．そこ誤解だよ
2．ノイマン構成 N（＝ω）＝{0,1,2,・・・}
で、｛｝を外すと 0,1,2,・・・ となる
3．最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）
4．それは、”可能無限”が本来持つ性質であって
ノイマン構成 N（＝ω）も同じ
全てそうだよね、無限シングルトンも含めて
繰り返すが、”最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）”
分かりますか？ ノイマンも同じ
- 369 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 19:07:02.49 ID:PvleFi78.net]
- >>339
>ノイマン構成 N（＝ω）＝{0,1,2,・・・}
>で、｛｝を外すと 0,1,2,・・・ となる
「無限シングルトン」を諦めて、ノイマン構成と同じく
「有限シングルトンの全てからなる無限集合」とするなら
・0,1,2,・・・のどの有限シングルトンにも最外の{}がある
・0,1,2,・・・のどの有限シングルトンも有限回で{}に達する
という性質を満たすので何の問題もないが
>最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）
エンドレス（＝最大元が存在しない）なのは別に問題ない
>それは、”可能無限”が本来持つ性質であって
最大元が存在しないのは、極限順序数の性質
>ノイマン構成 N（＝ω）も同じ
「…も同じ」ではなく
極限順序数を集合として実現する場合
避けられないこと
「ノイマンと同じ」と認めるのは
「無限シングルトンが集合として存在し得ず
無限シングルトンが集合だというのは全くの初歩的誤り」
と認めることだけど、それでいいの？
- 370 名前：１３２人目の素数さん [2021/11/15(月) 21:02:30.07 ID:xmHb92X2.net]
- >>339
> 最外は存在しないのではなく
じゃ存在するんですね？
ではその最外のカッコを外したモノが何であるかズバリ答えて下さい。
- 371 名前：１３２人目の素数さん [2021/11/15(月) 21:02:44.74 ID:rki1vL4O.net]
- >>340
(>>339より)
2．ノイマン構成 N（＝ω）＝{0,1,2,・・・}
で、｛｝を外すと 0,1,2,・・・ となる
3．最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）
4．それは、”可能無限”が本来持つ性質であって
ノイマン構成 N（＝ω）も同じ
(引用終り)
そもそも
ここ理解しているかい？
列 0,1,2,・・・ ここにωを加えて
0,1,2,・・・,ω となる。これは、順序数そのもの
列 0,1,2,・・・ には、一番右の数はない。しかし、この列は全ての自然数を尽くす
エンドレスであり、可能無限である
それは、古代ギリシャのユークリッドたちが、認識していたこと
ユークリッドは、素数が無限にあることを証明したという。それは、素数がエンドレス無限だという証明だった
おそらく、自然数がエンドレス無限（可能無限）だということも、認識していたろう
列 0,1,2,・・・ には、一番右の数はない。しかし、この列は全ての自然数を尽くす
エンドレスであり、可能無限である
これは、ZFC中では、無限公理を用いて導かれる
古代ギリシャ人が認識していた エンドレス無限（可能無限）を実現するために
そして、無限公理を用いて、一旦エンドレス無限（可能無限）が実現した暁には、無限は自然数だけに止まらないのです
自然数Nは、無限の第一歩にすぎない。そこから、多様な無限集合と多様な無限が生じるよ、分かっているのかな？
一旦N＝ωが出来たら、無限は自然数Nだけに止まらない ということが、理解できているかい？
- 372 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 21:46:17.59 ID:PvleFi78.net]
- >>342
0={}
1={0}={{}}
2={1}={{{}}}
･･･
で、ωがシングルトンだとすると
ω={ω-1}ってことになるけど、
ω-1なんてないよね？
一方、ノイマンの極限構成法をパクるなら
ω={0,1,2,…}={{},{{}},{{{}}},…}
となって、シングルトンではなく無限集合になるよね？
ここ理解しているかい？
ωは後続順序数ではなく極限順序数だから
シングルトンにはなり得ず無限集合になることが理解できているかい？
ちなみに最小の非可算無限順序数ω1は
可算無限集合ではなく非可算無限集合になるよ
それもわかってるかい？
- 373 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 21:53:07.27 ID:PvleFi78.net]
- >>343
>最小の非可算無限順序数ω1は
>可算無限集合ではなく非可算無限集合になる
ｘ＜ω１となる順序数ｘのいかなる可算集合も
その上限となるある順序数ｙ＜ω１が存在するから
ｙ以上の可算順序数が全部抜けちゃ
- 374 名前：うんだな []
- [ここ壊れてます]
- 375 名前：１３２人目の素数さん [2021/11/16(火) 07:38:59.15 ID:zELQeDp3.net]
- >>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,・・・の右端は存在しないが、・・・の部分も厳然と存在して、全ての自然数を尽くす
・・・,{,{ },},・・・ なるものも同じで、・・・の部分も厳然と存在して、全ての自然数の個数を尽くすってこと
これを否定しようとするのは、
無理ゲーでしょ。エンドレス無限（可能無限）を公理として導入した以上は
- 376 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 08:15:31.74 ID:r12S+/Td.net]
- ＞だから、カッコ {} が、可算無限個重なったものも、数学として考え得るよ
A ＝ ・・・{{{{ }}}}・・・
と置くと、この A は集合ではない。もしこれが集合だと言い張るのであれば、
Aの元は一体どのような形をしているのか？
たとえば、{{}}∈A は成り立つのか？もし成り立つなら、その時点で
A ＝ { {{}}, (残りのナニカ) }
という形になるので、(残りのナニカ) の部分が存在しない場合には
A＝{{{}}}
という形に確定する。しかし、これは A ＝ ・・・{{{{ }}}}・・・ という定義に矛盾する。
そして、(残りのナニカ) の部分が存在するなら、そのときの
A ＝ { {{}}, (残りのナニカ) }
は明らかに A ＝ ・・・{{{{ }}}}・・・ という形をしていない。
要するに、少なくとも {{}}∈A は成り立たない。
- 377 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 08:19:55.84 ID:r12S+/Td.net]
- では、Aの元は一体どのような形をしているのか？
「 A の元は再び ・・・{{{{ }}}}・・・ という形である 」
とでも言うつもりか？この場合、
「 A の元は再び A である 」
と言っていることになるので、A∈A ということになり、正則性公理に矛盾する。
よって、A の元は ・・・{{{{ }}}}・・・ ではない。
- 378 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 08:25:31.62 ID:r12S+/Td.net]
- ならば、Aの元は一体どのような形をしているのか？
「 A ＝ ・・・{{{{ }}}}・・・ と置くから話がおかしくなるのだ。
正しくは A＝{ ・・・{{{{ }}}}・・・ } と置くのだ。
そうすれば、Aの元は ・・・{{{{ }}}}・・・ である」
とでも言うつもりか？しかし、これでも問題は解決しない。
和集合の公理により、任意の集合Xに対して、Xの要素全体から成る集合が存在する。
すなわち、任意の集合Xに対して、
∪[x∈X] x
という操作が可能で、この「 ∪[x∈X] x 」は再び集合になる。特に、次の定理が成り立つ。
定理：X は一元集合とする。Xの(唯一の)元をaとするとき、aもまた集合である。
証明：X＝{a}と表せるので、∪[x∈X] x ＝ a である。
「 ∪[x∈X] x 」は集合だったから、a は集合である。
- 379 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 08:26:28.37 ID:r12S+/Td.net]
- このことを踏まえた上で
「 A ＝ ・・・{{{{ }}}}・・・ と置くから話がおかしくなるのだ。
正しくは A＝{ ・・・{{{{ }}}}・・・ } と置くのだ。
そうすれば、Aの元は ・・・{{{{ }}}}・・・ である」
に戻ると、この場合、A＝{ ・・・{{{{ }}}}・・・ } と置いたときの A は一元集合であって、
その唯一の元は ・・・{{{{ }}}}・・・ ということになる。
すると、上記の定理により、・・・{{{{ }}}}・・・ は集合ということになる。
そして、・・・{{{{ }}}}・・・ が集合なのであれば、
B ＝ ・・・{{{{ }}}}・・・
と置いたとき、この B は集合であって、B には何かしら元が存在することになる。
そして、まさに今、そのことを問題にしているのだから、結局、
「 A ＝ ・・・{{{{ }}}}・・・ と置くから話がおかしくなるのだ。
正しくは A＝{ ・・・{{{{ }}}}・・・ } と置くのだ。
そうすれば、Aの元は ・・・{{{{ }}}}・・・ である」
という言い分では問題は解決しない。
- 380 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 08:28:55.65 ID:r12S+/Td.net]
- では結局、この問題の正解はどこにあるのか？
A ＝ ・・・{{{{ }}}}・・・
と置いたとき、この A は本当に集合なのか？
もし A が集合だとすると、A の元は一体どのような形をしているのか？
さあ答えよ。
- 381 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 09:54:42.12 ID:Ir+l5Q+q.net]
- 最外�
- 382 名前：Oしそのまた最外を外しそのまたまた最近を外しそのまたまたまた最外を外し…
あら？ [] - [ここ壊れてます]
- 383 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 11:00:06.14 ID:2EuFDWdY.net]
- >>345 補足
(引用開始)
ノイマン構成でも同じこと
ノイマン構成 N（=ω）＝{0,1,2,・・・}で
{}を外すと、0,1,2,・・・ なる列ができるが、これはエンドレス無限（可能無限）
0,1,2,・・・は、一番右は決められない。エンドレスだから
しかし、可算無限列 0,1,2,・・・は、厳然と存在するよね
(引用終り)
１．0,1,2,・・・ なる列ができる。これは、自然数の列で、無限公理より、全ての自然数を尽くすエンドレス無限（可能無限）
２．まず、これを認めましょうね
３．0,1,2,・・・ なる列で、一番右がない？ 当然でしょ、エンドレス無限（可能無限）だから
４．0,1,2,・・・ なる列は、集合の列ではない？と。 一番右がないので、”・・・”は集合列ではなくなる？ ご冗談でしょ！
５．明らかに、0,1,2,・・・ なる列を集合列とするために、無限公理を置いたでしょ！
６．あとは、0,1,2,・・・ なる エンドレス無限（可能無限）を種として、他のいろんな数学で必要な無限を作れるよ
時枝の可算無限個の箱>>345とかね、いろんな無限が扱えるよ
だから、無限公理を一つ置いて、自然数Nを作れば、公理系としては取りあえずは、十分ってことだ
自然数Nから派生する類似のエンドレス無限（可能無限）を、一切認めないとか、アホすぎる
- 384 名前：１３２人目の素数さん [2021/11/16(火) 11:01:08.76 ID:Vu44Pkc8.net]
- >>342
> そもそも
>ここ理解しているかい？
>列 0,1,2,・・・ ここにωを加えて
>0,1,2,・・・,ω となる。これは、順序数そのもの
ωを加えるって第何項目に？
- 385 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 11:15:21.35 ID:2EuFDWdY.net]
- >>353
(引用開始)
>ここ理解しているかい？
>列 0,1,2,・・・ ここにωを加えて
>0,1,2,・・・,ω となる。これは、順序数そのもの
ωを加えるって第何項目に？
(引用終り)
良い質問ですね
詳しくは、下記を
”すべての自然数が並び終え”た後だ
「第何項目」という問いは、第何項目＝自然数の中 を意味するならば、
「自然数の中には、ωは入らない」が答です（下記の通り）
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
- 386 名前：１３２人目の素数さん [2021/11/16(火) 12:19:52.14 ID:Vu44Pkc8.net]
- >>354
> ”すべての自然数が並び終え”た後だ
すべての自然数が並び終えるのはいつですか？
そもそも無限に存在するのに並び終えるんですか？
- 387 名前：１３２人目の素数さん [2021/11/16(火) 12:30:14.30 ID:Vu44Pkc8.net]
- >>354
{0,1,・・・,ω}という集合は存在します。
自然数全体の集合と{ω}との和集合ですから。
0,1,・・・,ωという列は存在するんですか？
存在すると言うなら私の問いに完璧に答えてみて下さい。
- 388 名前：１３２人目の素数さん [2021/11/16(火) 12:36:07.37 ID:Vu44Pkc8.net]
- >>354
自然数すべてを並べ終えられることと自然数が無限に存在することは矛盾しませんか？
矛盾しないと言うなら、並べる方法を数学的且つ具体的に述べて下さい。
- 389 名前：１３２人目の素数さん [2021/11/16(火) 12:59:34.81 ID:Vu44Pkc8.net]
- >>352
> 明らかに、0,1,2,・・・ なる列を集合列とするために、無限公理を置いたでしょ！
いいえ。
無限公理は無限集合の存在を主張する公理です。
- 390 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 19:01:36.91 ID:gRzlGBz8.net]
- >>352
>0,1,2,・・・ なる列は、集合の列ではない？
>一番右がないので、”・・・”は集合列ではなくなる？
中卒君は誰も言ってないことが幻聴で聞こえるらしい
💊飲め
>345
>ω重なら、{・・・,{,{},},・・・}
>ω重から、・・・,{,{ },},・・・ なるものができる
>それは、ノイマン構成でも同じこと
同じじゃないけど
>ノイマン構成 N（=ω）＝{0,1,2,・・・}で
だろ？
だからノイマン構成なら
{…{{}}…}ではなく
{{},{{}},{{{}}},…}だけど
>{}を外すと、0,1,2,・・・ なる列ができるが、
>これはエンドレス無限（可能無限）
ああ、そうだよ
誰もそのことに文句はつけてないけど
君には文句が聴こえるのか？それ幻聴な
💊飲め
- 391 名前：１３２人目の素数さん [2021/11/16(火) 20:42:40.57 ID:zELQeDp3.net]
- >>355
>> ”すべての自然数が並び終え”た後だ
>すべての自然数が並び終えるのはいつですか？
>そもそも無限に存在するのに並び終えるんですか？
良い質問ですね
下記藤田博司先生の
”
- 392 名前：超限順序数と無限玉入れ勝敗判定 (「第8回関西すうがく徒のつどい」講演)”
でも、どぞ
http://tenasaku.com/academia/
なげやりアカデミア 藤田博司 愛媛大
超限順序数と無限玉入れ勝敗判定 (「第8回関西すうがく徒のつどい」講演)
アブストラクト http://tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf
講演スライド http://tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf
>>356
> 0,1,・・・,ωという列は存在するんですか？
存在するよ、当然でしょ
上記の”超限順序数と無限玉入れ勝敗判定 (「第8回関西すうがく徒のつどい」講演)”
でも、どぞ [] - [ここ壊れてます]
- 393 名前：１３２人目の素数さん [2021/11/16(火) 20:51:34.70 ID:zELQeDp3.net]
- >>359
(引用開始)
>ノイマン構成 N（=ω）＝{0,1,2,・・・}で
だろ？
だからノイマン構成なら
{…{{}}…}ではなく
{{},{{}},{{{}}},…}だけど
(引用終り)
上記
{…{{}}…}と
{{},{{}},{{{}}},…}と
一番外の｛｝を外すと
…{{}}…と
{},{{}},{{{}}},…となる
…が剥き出しだよね
で、後者のノイマン構成で
{},{{}},{{{}}},… において、…の部分も集合だよね。で、エンドレス無限だよね
前者の…も同じで、エンドレス無限だよ
同じだよ
{},{{}},{{{}}},… で、…の部分を具体的に書けるなら、書いて見ろよ
書けないよね
だったら、前者の…も、エンドレス無限で具体的に書けないで良い
それで良いんだよ。だって、エンドレス無限って、そういうことだもの
- 394 名前：１３２人目の素数さん [2021/11/17(水) 00:12:07.57 ID:tnzTXyh4.net]
- >>360
答えられないんですね？
結局あなたは何一つ分かってないんですね
- 395 名前：１３２人目の素数さん [2021/11/17(水) 00:32:08.83 ID:tnzTXyh4.net]
- >>361
>{…{{}}…}と
>{{},{{}},{{{}}},…}と
>
>一番外の｛｝を外すと
>…{{}}…と
>{},{{}},{{{}}},…となる
>
>…が剥き出しだよね
>で、後者のノイマン構成で
>{},{{}},{{{}}},… において、…の部分も集合だよね。で、エンドレス無限だよね
>
>前者の…も同じで、エンドレス無限だよ
>同じだよ
何を同じと言ってるのか意味不明。
{…{{}}…}:=ε、{{},{{}},{{{}}},…}:=δ とおく。
どちらも集合と仮定すると、δの元は任意の有限重シングルトン、εの元はε。あなたは訳も分からず同じと言ってるが全然違う。
この違いは以下の通り決定的。
1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
2. δのどの元も有限重シングルトンであるから、δを起点とするいかなる∈下降列も有限列。すなわちδは正則性公理を満たす。
あなた脳はお持ちですか？少しは考えたら如何？
- 396 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 07:10:27.92 ID:5EFHliSw.net]
- >>348で述べた定理では、Xが一元集合のときだけが対象になっていたが、より一般的に、
任意の集合Xと、Xの任意の元aに対して、aもまた集合であることが(ZFCの中で)示せる。
定理：Xは集合とする。このとき、Xの任意の元は集合である。
すなわち、a∈X を任意に取るとき、この a は集合である。
- 397 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 07:12:54.93 ID:5EFHliSw.net]
- このことを踏まえて、
＞{…{{}}…}と
＞{{},{{}},{{{}}},…}と
について考えてみる。まず、
X＝{{},{{}},{{{}}},…}
と置けば、このXは集合である。また、Xの元として、たとえば {}∈X, {{}}∈X, {{{}}}∈X などが取れる。
ゆえに、上記の定理により、{} は集合であり、{{}} も集合であり、{{{}}} も集合である、ということになる。
実際、これらの3つは集合である。
- 398 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 07:15:52.51 ID:5EFHliSw.net]
- 次に、
Y＝{…{{}}…}
と置く。もし Y が集合ならば、上述の定理により、Y の任意の元は集合である。
今の場合、…{{}}… ∈ Y なのだから、上述の定理により、
…{{}}… は集合ということになる。よって、
A ＝ …{{}}…
と置けば、この A は集合ということになる。では、A の元は一体どのような形をしているのか？
さあ答えよ。
- 399 名前：１３２人目の素数さん [2021/11/17(水) 08:33:41.89 ID:SyxUn7xV.net]
- >>362
>答えられないんですね？
読めば？ｗ
https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/fujita0.pdf
集合・濃度・順序数・基数
藤田 博司
愛媛大学理学部
2019 年 9 月 3 日
数学基礎論サマースクール 2019 @静岡大学
>>363
> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
それ間違っているよ
かつ、反基礎の公理も考えられるから（下記）、
正則性公理でそのような集合が否定されるわけではないよ
単に、正則性公理の外かも知れないってことだけ
pssj.info/program_ver1/program_data_ver1/35/ws/mukai.pdf
超
- 400 名前：集合論?circularityの論理の現在?
(ワークショップ資料)
向井国昭
慶應義塾大学湘南藤沢
2002/11/10
P4
超集合論は, ZFC の FA(基礎の公理) を AFA (反基礎の公理,Anti-Foundation Axiom) に置き換えて得られる集合論である． [] - [ここ壊れてます]
- 401 名前：１３２人目の素数さん [2021/11/17(水) 12:17:44.51 ID:eUQcanYC.net]
- >>367
> 読めば？ｗ
やはり分かってないんですね
>>>363
>> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
>それ間違っているよ
つまりεが正則性公理を満たすと？
やはり何も分かってないですね
- 402 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 15:50:21.33 ID:H6Qj7fdc.net]
- >>367
(引用開始)
>>363
> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
それ間違っているよ
(引用終り)
>>363 より
「{…{{}}…}:=ε、 とおく。」だったよね
まず
…{{}}… ∈εである
また
ε ∈{ε}ではある
しかし、εnot∈εだよね
（ ”ε∈ε”ではないよね）
あなた、下記の”a+∞ ＝ +∞”と勘違いしてない？
数としては、∞-1＝∞とか、∞+1＝∞とか、それが普通だが
しかし、その話と集合の記号”∋”の話とを、混同していると思うよ
（参考）
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数（かくだいじっすう、英: extended real number）あるいはより精確にアフィン拡大実数（affinely extended real number）は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の2つを加えた体系を言う。
算術演算
実数全体 R における四則演算は、以下の規約により部分的に R まで拡張することができる。
a+∞ ＝ +∞
- 403 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 19:14:14.05 ID:Fx1Evjgz.net]
- >>361
>…{{}}…と
>{},{{}},{{{}}},…と
>前者 の…も(後者と) 同じで、エンドレス無限だよ 同じだよ
「…がイカン」という幻聴が聴こえるらしいな 💊飲め
{},{{}},{{{}}},…の…は全て有限シングルトンだから問題ないが
…{{}}…は、一番外側の{}がないから集合ではなく大問題
両者は全然違う
{},{{}},{{{}}},… を
…{{}}… に
置き換えることはできない
{},{{}},{{{}}},…には最大元は存在しない
{{},{{}},{{{}}},…}は、上記のどれよりも大きい元の最小元
それは全く問題ない
(ωは0,1,2,…のどれよりも大きい元の最小元）
…{{}}…は{},{{}},{{{}}},…の最大元ではない
(∞は0,1,2,…の中の最大元ではない）
…{{}}…より大きい最小元という形で
{…{{}}…}を考えるのは無理
(ωを∞より大きい最小元（つまり∞の「後続元」）と考えるのは無理）
>>369
>{…{{}}…}:=ε、 とおく。
>まず…{{}}… ∈εである
>またε ∈{ε}ではある
で、ε＝ωかい？
{ε}＝ω＋１かい？
じゃ…{{}}…はω－１かい？
君は軽薄だからとっさに
「いや…{{}}…がωだ」
と脊髄反射で言い訳するだろう
だったら
x∈…{{}}…となるｘは何だい？
ないだろ？
ｎ＜…{{}}…をどうやって示すんだい？
できないだろ？
君はなにも考えずにただ{}を描いてるだけ 三歳の幼児だよ
そんな論理ゼロの三歳児に数学は全く無理だね 諦めな
- 404 名前：１３２人目の素数さん [2021/11/17(水) 19:58:49.73 ID:vTNXpYnc.net]
- >>369
> しかし、εnot∈εだよね
>（ ”ε∈ε”ではないよね）
無限重シングルトンの元は無限-1重シングルトンだとでも言いたいの？
ωは極限順序数。この意味がぜんぜん分かってないようですね。
だから言いましたよね？少しは頭使ったら？と
- 405 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 20:05:57.17 ID:Fx1Evjgz.net]
- α． n+1はnより大きい最小の元
n+1={n}
β． ωは0,1,2,…のどれよりも大きい最小の元
ω={0,1,2,…}
ω={x}という形で表すことはできない
なぜなら0,1,2,…の中に最大元は存在しないから
- 406 名前：１３２人目の素数さん [2021/11/17(水) 20:52:00.29 ID:SyxUn7xV.net]
- >>372
>ω={x}という形で表すことはできない
>なぜなら0,1,2,…の中に最大元は存在しないから
できるよ
順序数の並び 下記
0, 1, 2, 3, ............
すべての（有限）自然数が並び終える
（可能無限＝エンドレス無限とすれば、”（有限）自然数が並び終える”とするのは形容矛盾ですがねｗ ）
これを、そのまま
ω={0, 1, 2, 3, ............}とすれば良い
ここに、｛｝内にすべての（有限）自然数が入っている
それで良いでしょ？
｛｝を外す
0, 1, 2, 3, ............ となる
”............ ”の部分は、ワケワカ状態だ
けど、その状態が存在することを（無限）公理として認めましょう
というわけだ
それを認めたら
…{{}}… （>>369） も認めるべし。 ”…”の部分は、ずーと無限に続いている（可能無限＝エンドレス無限）
こちらを認めないならば、0, 1, 2, 3, ............の、
”............ ”の部分も認めちゃいけない（つまりは有限で、自然数Nは有限集合）ことになるぞｗ
同じだよ
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω,
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
- 407 名前：１３２人目の素数さん [2021/11/17(水) 20:53:12.63 ID:SyxUn7xV.net]
- >>371
それ>>373なｗ
- 408 名前：１３２人目の素数さん mailto:sage [2021/11/17(水) 21:17:58.22 ID:Fx1Evjgz.net]
- >>373
>>ω={x}という形で表すことはできない
>できるよ
それ妄想 💊飲め
>0, 1, 2, 3, ............
>その状態が存在することを（無限）公理として認めましょう
正しくは
・0(={})がある
・nがあるなら、n+1(={n})がある
という状態
>それを認めたら…{{}}… も認めるべし。
なんで？そんな必要ないよ
>こちらを認めないならば、
>0, 1, 2, 3, ............の、
>”............ ”の部分も認めちゃいけないことに･･･
ならないよ
つまり
0={}
1={0}={{}}
2={1}={{{}}}
･･･
として
0, 1, 2, 3, ...........
としたときの...........の最後に
…{{}}…なんて来ないよ
最後なんてないんだから
だから単一の元ではなく
0, 1, 2, 3, ...........
という無限個の元の集合として
ω={0, 1, 2, 3, ...........}
を考えなくちゃいかんわけ
シングルトンにならんわけ
シングルトンに固執する中卒君が
🐎🦌であり💨違いなわけ
P.S.
>”............ ”の部分は、ワケワカ状態だ
ワケワカランのは中卒の君だけだよｗ
- 409 名前：１３２人目の素数さん [2021/11/17(水) 23:43:40.41 ID:SyxUn7xV.net]
- >>373
(引用開始)
順序数の並び 下記
0, 1, 2, 3, ............
すべての（有限）自然数が並び終える
（可能無限＝エンドレス無限とすれば、”（有限）自然数が並び終える”とするのは形容矛盾ですがねｗ ）
これを、そのまま
ω={0, 1, 2, 3, ............}とすれば良い
ここに、｛｝内にすべての（有限）自然数が入っている
(引用終り)
なんか分かってない人が居る
自然数の集合N（=ω）={0, 1, 2, 3, ............}
Nの元 ∀n 、これは全て有限です
全て有限ですが、これを全て集めた{0, 1, 2, 3, ............}は、無限集合です
この話は、結構微妙なバランスで成立しているのです
{0, 1, 2, 3, ............}を、{0, 1, 2, 3, ........,n}として、ある有限nで打ち切ってはいけない
ある有限nで打ち切ると、自然数の集合Nは有限集合になってします
ここの理解には、元 nの有限性を強く読むと、ここは理解できない
個々の元 nは有限だけれども、元 nには上限は無く、それを全部集めると無限集合ができる
個々の元 nは有限だけれども、元 nは上限が有ってはいけない。上限があると、有限集合しかできない
では、有限の元を全部集めたら無限集合にできるのか？ という疑問が出る
その疑問は当然です。その疑問を封じるための公理が、無限公理です
無限公理があるから、有限の元を全部集めて、
無限集合が出来るべしという仕掛けです
さて、自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると
時枝の無限個の箱>>345も可能です。□0,□1,□2,□3, ...........です
無限個のカッコ "｝"も同様です。}0,}1,}2,}3, ...........です。これ右側です
鏡映しで、左側...........,3{,2{,1{,0{ も可です
左右合わせて、...........,3{,2{,1{,0{}0,}1,}2,}3, ........... となります
これぞ、可算多重シングルトン・・・,{,{ },},・・・です。これは、厳然と存在します
自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると、ここまで必然です
- 410 名前：１３２人目の素数さん [2021/11/17(水) 23:50:25.41 ID:tnzTXyh4.net]
- >>373
>>ω={x}という形で表すことはできない
>>なぜなら0,1,2,…の中に最大元は存在しないから
>できるよ
>順序数の並び 下記
>0, 1, 2, 3, ............
>すべての（有限）自然数が並び終える
>（可能無限＝エンドレス無限とすれば、”（有限）自然数が並び終える”とするのは形容矛盾ですがねｗ ）
>これを、そのまま
>ω={0, 1, 2, 3, ............}とすれば良い
つまりシングルトンは間違いだと認めるんですね？
>こちらを認めないならば、0, 1, 2, 3, ............の、
>”............ ”の部分も認めちゃいけない（つまりは有限で、自然数Nは有限集合）ことになるぞｗ
誰が無限を認めないと言ってるんですか？安達弘志じゃあるまいし
認めないのはωをシングルトンとして構成できるというトンデモ説ですよ
幻聴でも聞こえるんですか？精神科を受診されては？
- 411 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 05:01:33.46 ID:QG01/Tfp.net]
- >>376
>なんか分かってない人が居る
それ💨違いの君な
>さて、自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると
>無限個のカッコ "｝"も可能です。
>}0,}1,}2,}3, ...........です。これ右側です
>鏡映しで、左側...........,3{,2{,1{,0{ も可です
>左右合わせて、...........,3{,2{,1{,0{}0,}1,}2,}3, ........... となります
それは、{をユークリッド平面上の図形とするということね？ 三歳児クンｗ
>これぞ、可算多重シングルトン・・・,{,{ },},・・・です。
>これは、厳然と存在します
ユークリッド平面上の図形としてはね 三歳児クンｗ
>自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると、
>ここまで必然です
「ここ」
＝「ボク（三歳）の考えた”かさんたじゅうしんぐるとん”は
平面上の図形として存在するんだもん！」
しかし”かさんたじゅうしんぐるとん”が
平面上の図形として存在しても
「それ」が集合を表さないなら意味ないだろ 三歳児クンｗ
（つづく）
- 412 名前： []
- [ここ壊れてます]
- 413 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 05:02:43.82 ID:QG01/Tfp.net]
- >>377の続き
君が>>376で図形として描いた可算多重シングルトンが、
どの有限シングルトンよりも大きい、というのは
どうやって証明するの？
{}∈{{}},{{}}∈{{{}}}だから{}＜{{}}だよね
で、･･･{{}}･･･の要素って何？
どの有限シングルトンｎをとってきても
ｎ∈･･･{{}}･･･にはならんよね？
で、･･･{{}}･･･がシングルトンなら
唯一の要素ｘがあるよな？ それは何？
さらにｘがシングルトンなら
唯一の要素ｘ’があるよな？ それは何？
で、この連鎖はどこまで続くの？無限？
だったら正則性公理に反するよな？
無限降下列なんだから
三歳児クン ”カッコのお絵描き遊び”はもういいよ
そのキミが描いた”かさんたじゅうしんぐるとん”が
どうやって集合として解釈できるのか聴かせてくれる？
もしかして何も考えてない？
だったらさあ、だまってくれる？
ここ、幼稚園でも保育園でもないからさあ 三歳児クン（ぷ）
- 414 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 05:09:08.90 ID:QG01/Tfp.net]
- >>377
>>ω={0, 1, 2, 3, ............}とすれば良い
>つまりシングルトンは間違いだと認めるんですね？
三歳児クンは>>376で
「かさんたじゅうしんぐるとんは絵にかけるもん！」
といいだしたので間違いだとは認めないんじゃないから
ほんとこまったチャンでちゅね 三歳児クンはｗ
>誰が無限を認めないと言ってるんですか？安達弘志じゃあるまいし
そんなひといましたな 亡くなったんですかね 安達のお爺ちゃん
>認めないのはωをシングルトンとして構成できるというトンデモ説ですよ
そうですね カッコの図形として描けたからといって
それがそのまま集合として存在するわけではない
ゴジラを着ぐるみとして実現できたからといって
それがそのまま怪獣として実在できるわけではない
>幻聴でも聞こえるんですか？精神科を受診されては？
でも治りますかね？
精神病というより人格障害というか発達障害というかそっち方向ですからねえ
- 415 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 07:48:03.09 ID:HqV+xgTy.net]
- 0,1,2,…
の外側を { } で括った
{0,1,2,…}
を考えるとき、これは通常
ω＝{0,1,2,…}
と書かれるわけだが、このように置いたωは集合であり、ωの元として、
たとえば 0∈ω, 1∈ω, 2∈Ω などを取ることができる。
- 416 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 07:50:10.42 ID:HqV+xgTy.net]
- では同様にして、
…{{{}}}…
の外側を { } で括った
{…{{{}}}…}
を考えるとき、これを
B＝{…{{{}}}…}
などと置けば、B の元として具体的に何が取れるというのか？
さあ答えよ。
- 417 名前：１３２人目の素数さん [2021/11/18(木) 08:23:25.79 ID:QlRuhSBT.net]
- >>373
>0, 1, 2, 3, ............
>その状態が存在することを（無限）公理として認めましょう
無限公理はそんなこと言ってませんw
無限集合の存在を主張してるのですよ。
で、あなたの無限重シングルトンは有限(一元)集合の出来損ない(集合ですらない)。
やはり何一つ分かってないですね。
- 418 名前：１３２人目の素数さん [2021/11/18(木) 08:32:46.99 ID:QlRuhSBT.net]
- >>376
> これぞ、可算多重シングルトン・・・,{,{ },},・・・です。これは、厳然と存在します
集合ではないですけどねw
無限のカッコには初めも終わりも無いですから
- 419 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 18:14:54.20 ID:RoWchWpk.net]
- >>384
>> これぞ、可算多重シングルトン・・・,{,{ },},・・・です。これは、厳然と存在します
>集合ではないですけどねw
>無限のカッコには初めも終わりも無いですから
やれやれ
繰り返すが、ノイマン構成
N（＝ω）＝{0,1,2,・・,n,・・}
これで、列”0,1,2,・・,n,・・”は、全ての自然数を尽くす
n∈N で、∀ｎ有限なれど、列”0,1,2,・・,n,・・”は無限長です
分かりますか？ｗ
列”0,1,2,・・,n,・・”は、有限で終わってはいけない。限りが無いのです
だから、”0,1,2,・・,n,・・”と書かざるを得ない
そういうものを、天才ノイマンは導入したのです
なぜ？ それが、必要だから
例えば、下記
オイラーの自然対数の低 e=1+1/1!+1/2!+1/3!+・・+1/n！+・・
この級数展開は、無限に続かないといけない
なぜならば、 eは超越数であり、もし有限の級数ならば有理数になり矛盾する
かように、”・・”と無限につづく現象は、数学の至る所に出てくるよ
可算多重シングルトン・・・,{,{ },},・・・ >>376 だけを、必死で否定するのは、アホの極みでしょ
そんなん無理じゃんｗ 可算多重シングルトンを否定するならば、同じ理屈で、”・・”全部否定されちゃうぜｗ
（参考）
https://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0
ネイピア数（ネイピアすう、英: Napier's constant）は、数学定数の一つであり、自然対数の底である。ネーピア数、ネピア数とも表記する。記号として
- 420 名前：通常は e が用いられる。
欧米ではオイラー数 (Euler's number) と呼ばれることもある
微分積分学の基本的な関数を使った定義
e=exp1 =Σn=0～∞ 1/n! ＝1+1/1!+1/2!+1/3!+・・+1/n！+・・ [] - [ここ壊れてます]
- 421 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 19:38:29.82 ID:QG01/Tfp.net]
- >>385
>可算多重シングルトン・・・,{,{ },},・・・ だけを、
>必死で否定するのは、アホの極みでしょ
三歳児がなに泣き喚いて駄々こねてんだ？ｗ
集合(set)じゃなきゃ超集合(hyperset)だとかいうんか？
じゃ、これからお前のことハイパーセタ(hyperset A)って呼んでやるよｗ
【ハイパーセタの超集合論】
・可算無限シングルトン･･･{{}}･･･は集合ではないが超集合である
・x∈･･･{{}}･･･となるxは存在しないが
任意の有限シングルトンｎに対してｎ＜･･･{{}}･･･である
ちなみに
・ａ∈ｂならａ＜ｂ
・ａ＜ｂ、ｂ＜ｃなら、ａ＜ｃ
とする
- 422 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 19:42:54.53 ID:QG01/Tfp.net]
- >>386
ハイパーセタの超集合論によれば、
順序数ｘが極限順序数のとき、そのときに限り
ｘに対応する”シングルトン”は、
集合でない「超集合」である
（ｘが後続順序数であれば、普通にシングルトン（要素が１個の集合）
ｘが０であれば、空集合）
- 423 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 19:54:04.97 ID:QG01/Tfp.net]
- >>387
しかし実際は超集合論なんて必要ない
極限順序数を無限集合とすればいいだけ
極限順序数がシングルトンでなければならないという
中卒の万年三歳児セタが、数学のセンスがない🐎🦌なだけ
- 424 名前：１３２人目の素数さん [2021/11/19(金) 01:06:01.03 ID:Lfpquuls.net]
- >>385
>かように、”・・”と無限につづく現象は、数学の至る所に出てくるよ
>可算多重シングルトン・・・,{,{ },},・・・ >>376 だけを、必死で否定するのは、アホの極みでしょ
>そんなん無理じゃんｗ 可算多重シングルトンを否定するならば、同じ理屈で、”・・”全部否定されちゃうぜｗ
君は日本語が分からんの？
誰も無限を否定してないと言っとるのが分からんの？
否定してるのは無限重シングルトンが集合であるという君のトンデモ論だと言っとるのが分からんの？
もしもーし 脳みそ生きてますかー？
- 425 名前：１３２人目の素数さん [2021/11/19(金) 01:21:45.57 ID:Lfpquuls.net]
- >>385
>列”0,1,2,・・,n,・・”は、有限で終わってはいけない。限りが無いのです
そう、無限には終わりが無い。
だから無限重シングルトンは最内カッコを初めとすれば最外カッコが無い…{{}}…、もしくは、最外カッコを初めとすれば最内カッコが無い{{…}}。
{{…}}は最外カッコを外しても{{…}}、つまり{{…}}∋{{…}}∋…が∈無限下降列となり正則性公理違反。
…{{}}…は最外カッコが無いから外そうにも外せず、したがって元が定まらない。元が定まらないものを集合とは呼べない。
結局無限重シングルトンは集合たり得ない。
なんでこんな簡単なことが理解できないの？発達障害か何か？
- 426 名前：１３２人目の素数さん [2021/11/19(金) 01:29:38.56 ID:Lfpquuls.net]
- これでもまだ納得いかないなら、無限重シングルトンが集合であることをZF公理系から出発して証明してごらん
どこが間違いか添削してやるから
三歳児が如く駄々こねるだけじゃ数学板を利用する資格無いよ君
- 427 名前：１３２人目の素数さん [2021/11/19(金) 06:22:00.40 ID:kdw3z2XW.net]
- >>389
>否定してるのは
>無限重シングルトンが集合である
>という君のトンデモ論
カッコのお絵描きだけが得意の
三歳児には難しいらしい
>>390
>{{…}}は最外カッコを外しても{{…}}、
>つまり{{…}}∋{{…}}∋…が
>∈無限下降列となり正則性公理違反。
その通り
>…{{}}…は最外カッコが無いから外そうにも外せず、
>したがって元が定まらない。
>元が定まらないものを集合とは呼べない。
だから>>386のいうように「超集合」なんでしょ
佐藤超関数ならぬセタ超集合
>結局無限重シングルトンは集合たり得ない。
その通り
そもそも>>388も書いてるが、別に極限順序数まで
無理矢理シングルトンにする必要はない
三歳児の美学は幼稚
>>391
>無限重シングルトンが集合であることをZF公理系から出発して証明してごらん
カッコが平面上の点集合だから
シングルトンはその和集合として集合だとか
トンデモな屁理屈を口にするよ
なにしろお絵描きで数学できると思ってる三歳児だから
やっぱ、国立大卒ってウソだろうな
高卒かせいぜいＦラン大卒
対偶も知らんとか数学板に書きこむ資格ないって
- 428 名前：１３２人目の素数さん [2021/11/19(金) 06:33:08.62 ID:kdw3z2XW.net]
- 結局、順序数ｘがシングルトンであらわせるのは
ｘが後続順序数であるとき、そのときに限るのよ
注）空集合{}は要素ないからシングルトンではない
というのは
ｘ＝｛ｙ｝と表せる⇔ｙが、ｘより小さい順序数の最大元
- 429 名前：
ということだから
ｘが極限順序数だったら、ｘより小さい順序数の最大元はないから
上記の最大元だけを要素として持つシングルトンとしては表せない
ｘが極限順序数の場合
１．ｘより小さい元のみを要素として持つ
２．要素内の最大元は存在しない
３．さらにｘより小さく、要素内のいかなる元よりも大きい元も存在しない
を満たすようにするしかないので、必然的に無限集合となる
注）最小の無限順序数ωの場合１．と２．のみ満たせば３．を満たすが
最小の非可算順序数ω1の場合は１．と２．だけ満たしても
可算無限集合だと３．を満たさないので ３．も必要 [] - [ここ壊れてます]
- 430 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 09:48:18.73 ID:RN8O3v10.net]
- シングルトン【独身豚】
- 431 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 12:03:23.80 ID:ROqwSPWq.net]
- >>393
>結局、順序数ｘがシングルトンであらわせるのは
>ｘが後続順序数であるとき、そのときに限るのよ
だったら、シングルトンと呼ばなければいいだけのこと
>注）空集合{}は要素ないからシングルトンではない
意味を拡張すれば、いいだけ。”シングルトン”なんて、自然言語の命名にすぎない
{}を0シングルトン
{{}}を1シングルトン
{・・・{}・・・}＝{・・{Φ}・・}（{}がｎ重）をｎシングルトン
{・・・・{}・・・・}＝{・・・{Φ}・・・}（{}がω重）をωシングルトン
とでも、命名すればいいだけのこと
ノイマン構成に戻る
Ｎ（＝ω）＝{0,1,2・・n・・・}（全ての自然数を含む）として
{}を外せば、0,1,2・・n・・・ ができる
これは、整列集合だ
”n・・・”みたく、無限上昇列を、作ったんだ。ノイマンは
だから、時枝の無限個の箱>>345も可能です
□0,□1,□2・・□n・・・ となる（□nのように、箱に附番されている）
同様、カッコでもあり
｝0,｝1,｝2・・｝n・・・ とできる（｝nのように、右カッコに附番されている）
鏡写しで、左カッコも同様にして。合わせると
・・・n{・・2{1{0{ }0}1}2・・}n・・・ とできる
"・・・"の部分は、ずっと無限に続く
そういうものをノイマンは導入したのだから、存在しないとか文句いうのがおかしい
そして
｛・・・n{・・2{1{0{ }0}1}2・・}n・・・｝が出来て
シングルトンと呼びたくなければ、呼ばなければいいだけのこと
- 432 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 12:12:15.09 ID:ROqwSPWq.net]
- >>394
シングルトンは、レプトン (lepton) （下記）みたく、粒子を意味する接尾語"-on"を、singleにつけたのかも
トンにしたのは、"-on"だけだと言いにくいからでは？
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%97%E3%83%88%E3%83%B3_(%E7%B4%A0%E7%B2%92%E5%AD%90)
レプトン (lepton) は、素粒子のグループの一つであり、クォークとともに物質の基本的な構成要素である[1]。軽粒子とも呼ばれる。
レプトンという語は、「軽い」を意味する古代ギリシア語: λεπτ?? (leptos) と粒子を意味する接尾語"-on"から、1948年にレオン・ローゼンフェルトによって作られた。
- 433 名前：１３２人目の素数さん [2021/11/19(金) 12:28:52.85 ID:M/ELgmdf.net]
- >>395
> そういうものをノイマンは導入したのだから、存在しないとか文句いうのがおかしい
だからw
誰も無限を否定してないと何度言わせるのか
否定してるのは無限重シングルトンが集合であるとのお前のトンデモ説だと何度言わせるのか
数学以前に日本語力が壊滅しとるやんおまえ
- 434 名前：１３２人目の素数さん [2021/11/19(金) 12:32:41.00 ID:M/ELgmdf.net]
- >>395
> そういうものをノイマンは導入したのだから、存在しないとか文句いうのがおかしい
ノイマンは無限重シングルトンなんて導入してないし、無限重シングルトンが集合であるとも言ってませんが？
おかしいのはおまえの頭
- 435 名前：１３２人目の素数さん [2021/11/19(金) 12:39:15.16 ID:M/ELgmdf.net]
- >>395
> シングルトンと呼びたくなければ、呼ばなければいいだけのこと
シングルトンと呼ぶか否かなんてどーでもいー。
そんなことを言ってるんじゃない。無限重シングルトンなるものが集合ではないと言ってるんだよ。
分かる？おバカさん
- 436 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 19:34:09.86 ID:kdw3z2XW.net]
- >>395
「集合には一番外側の{}が必要だ」ということを
やっと理解したようだね 三歳児クン
>{}を0シングルトン
{}は空集合だから、シングルトンではない
言葉を真っ先に学ぼうな 三歳児クン
>{・・・・{}・・・・}＝{・・・{Φ}・・・}（{}がω重）をωシングルトン
{・・・・{}・・・・}の要素は・・・・{}・・・・一つだからシングルトン
それはいいとして、問題は
ω={・・・・{}・・・・}={ｘ}としたときの
ｘ＝・・・・{}・・・・はいかなる順序数か？
ｘはいかなる自然数よりも大きいのかね？
だったら、それがωなのではないのかね？
ωより小さく、任意の自然数ｎより大きい順序数がある
というのはωの定義に反することは理解できるかい？三歳児クン
>>394
シングルトン【一元豚】
- 437 名前：１３２人目の素数さん [2021/11/19(金) 21:16:09.87 ID:+7TU/4z5.net]
- >>395 補足
>”n・・・”みたく、無限上昇列を、作ったんだ。ノイマンは
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
ペアノの公理は以下の図にまとめることができる:
f(x)→f( f(x) )→f( f( f(x) ) )→ ・・・
ここで、各 f(x), f( f(x) ), f( f( f(x) ) ), ... は互いに異なる。
それぞれの自然数を明記しようとするならば、その数より小さい自然数全てを要素とする数の集合、となる。即ち、
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である。 この構成法はジョン・フォン・ノイマンによる[2] 。
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
つまり、この対応は
数→Zermelo→ Neumann
0 : {} → {}
1 : {{}} → {0}
2 : {{{}}} → {0, 1}
3 :{{{{}}}} → {0, 1, 2}
・
・
n :{･･{{{}}}･･} → {0, 1, 2,･･,n-1}
・
・
ω :{･･･{{{}}}･･･} → {0, 1, 2,･･,n-1･･･} (注：･･･の部分は全ての自然数を尽くす)
となる
そして、0, 1, 2･･･は、カッコ{}のネスティングの深さにも対応しているのです
- 438 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 21:35:52.39 ID:kdw3z2XW.net]
- >>401
正しく書けよ 三歳児
ーーーーーーーーーーー
数→Zermelo→Neumann
0 :{} → {}
1 :{0} → {0}
2 :{1} → {0,1}
3 :{2} → {0,1,2}
・
・
n :{n-1} → {0,1,2,･･,n-1}
・
・
－－－－－－－－－－－－－－
そうするとωで困る筈
－－－－－－－－－－－－－－
ω:{?} → {0,1,2,･･,n-1･･･}
－－－－－－－－－－－－－－
つまり？にいれるものがない、
0,1,2,･･,n-1･･･には、「最後の元」がないから
そこで困るのが正常な人
困らないなら、ないものをあるとデッチあげる
ウソツキの卑怯者の変質者だな
結局Zermeloでも{0,1,2,･･,n-1}とするしかないと気づく
極限では「一元豚」は死ぬ 無限豚(infiniton)万歳！！！
- 439 名前：１３２人目の素数さん mailto:sage [2021/11/19(金) 21:37:17.11 ID:kdw3z2XW.net]
- >>402
誤 結局Zermeloでも{0,1,2,･･,n-1}とするしかないと気づく
正 結局Zermeloでも{0,1,2,･･,n-1,･･･}とするしかないと気づく
- 440 名前：１３２人目の素数さん mailto:sage [2021/11/20(土) 10:31:02.07 ID:wjyKxUal.net]
- Neumannの順序数で「自分より小さい全ての順序数の集合」とするところを
Zermeloの順序数で「自分より小さい順序数の最大元」としている
（シングルトンという見た目だけにこだわるのは幼稚な三歳児だけ）
「自分より小さい順序数の最大元」が存在しない場合には
それに代わる方法をとるしかない 要は、
「自分より小さい順序数の集合で、
自分より小さいいかなる順序数ｘも、
その中に必ずある要素ｙ（ｘ）が存在し
ｙ（ｘ）＞ｘとなるようにできるもの」
であればいい
注）ｙ（ｘ）と書いたのは、
ｘに依存せず決まる定数ではなく
ｘに依存して決まる関数であるから
- 441 名前：１３２人目の素数さん [2021/11/20(土) 11:36:17.41 ID:5AMtJA2Q.net]
- >>402
>そうするとωで困る筈
困らないよ
後者関数で定義しようとするからそうなる
確かに、Zermeloが最初にシングルトン{}を使って、自然数を公理的に作ろうとしたときは
「自然数全体の集合 N＝ωはどうする？」というところが、問題になったらしい
だが、ノイマン構成で、N＝ωが出来たあかつきには、後者関数を使わない方法をとればいい
つまり、
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n
ここで、”}n”などと添字つきのカッコを考える
また、最内層の{}0は、空集合でφと書ける
n∈N+ω とする
例
fsz(0)＝{}0
fsz(1)＝{{}0}1
fsz(2)＝{{{}0}1}2
・
・
fsz(n)＝{{･･{{{}0}1}2･･}n-1}n
・
・
fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω
となる
繰り返すが、ノイマン構成で、N＝ωが出来る前には、
この多重シングルトン関数 fszは、定義できない
しかし、ノイマン構成で、N＝ωが出来た後には、定義可能です
これで、全てのn∈自然数Nと、順序数ωに対応する可算無限多重シングルトンが定義できるよ
fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω
で、外のカッコ
- 442 名前：左{と、右}ωとを外せば
･･{{･･{{{}0}1}2･･}n-1}n･･ となる
ここで、nは全ての自然数を走る
ノイマン構成のN(＝ω)＝{0,1,2,･･n･･}と同じ
（外のカッコ{}を外せば、0,1,2,･･n･･ となるから同じだよ）
これで、ノイマン構成のN(＝ω)と つじつまは合っている [] - [ここ壊れてます]
- 443 名前：１３２人目の素数さん mailto:sage [2021/11/20(土) 12:02:38.18 ID:wjyKxUal.net]
- >>405
＞ノイマン構成で、N＝ωが出来たあかつきには、
＞後者関数を使わない方法をとればいい
それは構わない
しかし、その方法は中卒君の「お絵描き法」ではない
＞”}n”などと添字つきのカッコを考える
下手な考え、休むに似たり
＞fsz(n)＝{{･･{{{}0}1}2･･}n-1}n
＞fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω
その定義で
fsz(n) ＜ fsz(ω)
はどうやって証明するつもりだい？
ω={0,1,2,…}なら 任意の自然数ｎについて
ｎ∈ωだから、ｎ＜ωだよ
でも君の定義では証明できないね
ここで困らない中卒君は 考えてないってこと
考えないヤツは数学する意味がないよ
- 444 名前：１３２人目の素数さん [2021/11/20(土) 15:18:07.05 ID:5AMtJA2Q.net]
- >>406
>＞fsz(n)＝{{･･{{{}0}1}2･･}n-1}n
>＞fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω
> その定義で
> fsz(n) ＜ fsz(ω)
> はどうやって証明するつもりだい？
そこから、分かってないのか
数学では、順序とは定義するものだよ（下記 順序集合）
新しい要素 fsz(ω)を、導入したのです
ならば、fsz(ω)の順序を、他と矛盾なく、キチンと定義すれば良い（下記 well-defined）
定義：∀n∈N fsz(n) ＜ fsz(ω)
とすれば良い
それで、well-definedです
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合とは「順序」の概念が定義された集合のことで、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化した二項関係である。ただしここでいう順序とは、その集合の任意の2つの元に対して必ずしも定まっているとは限らず、両者が「比較不能」であることもありうる
比較不能の場合を許容する順序集合として典型的なのは後述する半順序集合（はんじゅんじょしゅうごう、英: partially ordered set, poset）である。特に、半順序集合で全ての2元が比較可能であるものを全順序集合 (totally ordered set) という
全順序の最も簡単な例は、実数における大小関係である
一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序と見なしたものがある。例えば2元集合 S = {a, b} において {a} と {b} はいずれも他方を包含していないので S の冪集合は全順序ではない
https://ja.wikipedia.org/wiki/Well-defined
well-definedは、「定義によって一意の解釈または値が割り当てられる」ことを言う
定義
ある定義がwell-definedであるのは次の二命題が示されたときである
・実際に成立する
（定義で）示された表式が成立しない場合、well-definedであるとは言えない
・経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する[注釈 3]。このとき、最終的な結論が中途の表式に依存している場合[注釈 4]、well-definedであるとは言えない
つまり定めた対象が一意に存在しているとき、well-definedであるという
- 445 名前：１３２人目の素数さん mailto:sage [2021/11/20(土) 16:27:36.77 ID:wjyKxUal.net]
- >>407
＞＞ fsz(n) ＜ fsz(ω)
＞＞ はどうやって証明するつもりだい？
＞そこから、分かってないのか
分かってないのは、中卒、貴様だよ、キ・サ・マ
＞数学では、順序とは定義するものだよ
＞新しい要素 fsz(ω)を、導入したのです
＞ならば、fsz(ω)の順序を、他と矛盾なく、
＞キチンと定義すれば良い
じゃ、即しろよ 🐎🦌
＞定義：∀n∈N fsz(n) ＜ fsz(ω) とすれば良い
＞それで、well-definedです
早速質問
＜と∈の関係は？
例えばfsw(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω の要素
･･{{･･{{{}0}1}2･･}n-1}n･･ は ωより小さい？ どのｎよりも大きい？
もし両方ともYesなら、
「ωは0,1,2,…より大きい最小の順序数」
という定義に真っ向から反するね
だって、任意のｎについて
ｎ＜･･{{･･{{{}0}1}2･･}n-1}n･･＜ω
だろ？
well-defined？
ill-definedじゃん
さすが「0.999…＜1」（ドヤ顔）と断言しちゃう中卒ＤＱＮだね
- 446 名前：１３２人目の素数さん mailto:sage [2021/11/20(土) 16:37:50
]
- [ここ壊れてます]
- 447 名前：.62 ID:wjyKxUal.net mailto: だいたい、カッコに番号をつけるって発想が幼稚
０＝０
１＝０，１
２＝０，１，２
・・・
ω＝０，１，２，…ω
って考えるのはアサハカな🐎🦌
Neumann構成で、なんで自分より小さい順序数の集合としてるか考えろよ
０＝（空）
１＝０
２＝０，１
・・・
ω＝０，１，２，・・・
要は
ω＝０，１，２，…ω
としちゃうと、右辺からωを抜いた
０，１，２，… は何なんだってことになっちゃう
そこに気づかないってのは考えなしの
バカ・アホ・タワケなんだなあｗ [] - [ここ壊れてます]
- 448 名前：１３２人目の素数さん [2021/11/20(土) 19:52:54.75 ID:zMEPOgki.net]
- >>401
>0 := {}, suc(a) := {a} と定義したならば、
>ω :{･･･{{{}}}･･･}
大間違い。
なぜならそのように構成されたωは後続順序数であり（前者は{･･･{{{}}}･･･}の最外カッコを外したもの）、極限順序数の定義に反するから。
君の頭蓋の中にあるのは八丁味噌かい？脳ミソではないようだけど
- 449 名前：１３２人目の素数さん [2021/11/20(土) 22:21:10.32 ID:5AMtJA2Q.net]
- >>410
(引用開始)
>>401
>0 := {}, suc(a) := {a} と定義したならば、
>ω :{･･･{{{}}}･･･}
大間違い。
なぜならそのように構成されたωは後続順序数であり（前者は{･･･{{{}}}･･･}の最外カッコを外したもの）、極限順序数の定義に反するから。
君の頭蓋の中にあるのは八丁味噌かい？脳ミソではないようだけど
(引用終り)
ご苦労さん
そもそもが、>>401では、ω自身 極限順序数として存在するんだぜ
だから、シングルトンも極限で考えているんだよ
そこを無視して、勝手に 極限順序数の定義に反するとか、何言っているの？
それに、>>401 のノイマン構成 ω＝{0, 1, 2,･･,n-1･･･}で
最外カッコを外したら、0, 1, 2,･･,n-1･･･ （全ての自然数）となるよ
ノイマン構成の順序数の定義は、それ以前の順序数を全部集めたものだ
あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
- 450 名前：１３２人目の素数さん [2021/11/20(土) 23:33:11.28 ID:5AMtJA2Q.net]
- >>408
(引用開始)
＞定義：∀n∈N fsz(n) ＜ fsz(ω) とすれば良い
＞それで、well-definedです
早速質問
＜と∈の関係は？
例えばfsw(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω の要素
･･{{･･{{{}0}1}2･･}n-1}n･･ は ωより小さい？ どのｎよりも大きい？
もし両方ともYesなら、
「ωは0,1,2,…より大きい最小の順序数」
という定義に真っ向から反するね
だって、任意のｎについて
ｎ＜･･{{･･{{{}0}1}2･･}n-1}n･･＜ω
だろ？
(引用終り)
それって、ノイマン構成でも同じことだよ
>>401 のノイマン構成 ω＝{0, 1, 2,･･,n･･･}で
最外カッコを外したら、0, 1, 2,･･,n･･･ （全ての自然数）となる
”n･･･”中の ”･･･”の部分は、ωより小さく、どのｎよりも大きい
そして、それは本来無限列が持つ性質そのもの
つまり、どの有限ｎよりも大きい自然数が存在し、そのような自然数は無限にあるが、全部有限の自然数で、ωより小さい
完全に禅問答ですがね
そこで、躓いたんだね
>>409
(引用開始)
０＝０
１＝０，１
２＝０，１，２
・・・
ω＝０，１，２，…ω
(引用終り)
勝手に話しを、ねつ造しているよね
それって、ショルツェ氏論法だよね
勝手に、定義を書き換えて、不等式が成立しなくなったと喚く、彼の藁人形論法そっくりじゃんｗ
- 451 名前：１３２人目の素数さん [2021/11/20(土) 23:37:56.86 ID:zMEPOgki.net]
- >>411
>そこを無視して、勝手に 極限順序数の定義に反するとか、何言っているの？
極限順序数の定義を書け
おまえが構成したωが極限順序数の定義に反していないことを示せ
脊椎反射はサルでもできる 人間なら論理的にお願いしますね
- 452 名前：１３２人目の素数さん [2021/11/20(土) 23:56:40.32 ID:zMEPOgki.net]
- >>411
>それに、>>401 のノイマン構成 ω＝{0, 1, 2,･･,n-1･･･}で
>最外カッコを外したら、0, 1, 2,･･,n-1･･･ （全ての自然数）となるよ
そうだね
>ノイマン構成の順序数の定義は、それ以前の順序数を全部集めたものだ
そうだね
>あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
なんで？
ノイマン構成ωが後続順序数だと言いたいならまずその前者を示してください
- 453 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 05:19:54.87 ID:+LwTeuHH.net]
- >>411
>ω自身 極限順序数として存在するんだぜ
それが俺たちが貴様に教えてやったんだよ🐎🦌
>だから、シングルトンも極限で考えているんだよ
それが🐎🦌
単純に･･･{{}}･･･としたら集合にならない
だから、いかなるｎについても
ｎ＜･･･{{}}･･･
ということもできない
「シングルトンでなければならない」
という思い込みを捨てれば答えは見つかる
ω＝{{},{{}},{{{}}},…}とすれば
{}∈ω
{{}}∈ω
{{{}}}∈ω
・・・
だから話が早い
>あんた (zMEPOgki) の論法では、ノイマン構成 ωも同じく、
>「ωは後続順序数で、極限順序数の定義に反する」
>となるぜ
横レスで申し訳ないが「ならないぜ」ｗ
なぜなら
0, 1, 2,･･,n-1･･･ （全ての自然数）
には、最後の（つまりもっとも右にある）要素がないからな
だから後続順序数でない
中卒SET A 貴様の負けだ！
- 454 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 05:22:05.20 ID:+LwTeuHH.net]
- >>412
>>任意のｎについて
>>ｎ＜･･{{･･{{{}0}1}2･･}n-1}n･･＜ω
>>だろ？
>それって、ノイマン構成でも同じことだよ
>0, 1, 2,･･,n･･･ （全ての自然数）
>”n･･･”中の ”･･･”の部分は、
>ωより小さく、どのｎよりも大きい
そこ！そこだよ！！貴様の間違いは！！！
「箱入り無数目」で「決定番号∞」とか
いったのも同じ誤り 貴様は
0, 1, 2,･･,n･･･ （全ての自然数）
の最後に∞があると「妄想」してるんだ
俺たちが皆�
- 455 名前：福ｻろえて、
「そんな、どのｎよりも大きく、
ωの直前にある”∞”なんか存在しない」
っていってるのにな
>そして、それは本来無限列が持つ性質そのもの
>つまり、どの有限ｎよりも大きい自然数が存在し、
>そのような自然数は無限にあるが、全部有限の自然数で、
>ωより小さい
「どの有限ｎよりも大きい自然数が存在し」という言い方が
∃ｍ∀ｎ．ｍ＞ｎ を表すなら誤り
∀ｎ∃ｍ．ｍ＞ｎ が正しい
「どの（有限）ｎについても、それぞれｎより大きいｍ（ｎ）が存在し」だ
つまりｍはｎに依存する関数であって、ｎに依存しない定数ではない
「自然数ｎの全てよりも大きい「究極の自然数」∞」があるわけではない
だいたい自分自身より大きいなんて矛盾だろｗ
>完全に禅問答ですがね
>そこで、躓いたんだね
「禅問答」に陥って躓いたのは俺たちじゃなく貴様だ、中卒SET A！ [] - [ここ壊れてます]
- 456 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 05:33:00.37 ID:+LwTeuHH.net]
- >>413-414
よせよせ、中卒SET Aは定義の文章が理解できない「論盲」だから
SET Aのつまづき
１．対偶が理解できない つまりA⇒Bと￢B⇒￢Aが同値であることが理解できない
２．∃ｙ∀ｘ．ｙ＞ｘと、∀ｘ∃ｙ．ｙ＞ｘの違いが理解できない
前者はｙ＞０、ｙ＞１、ｙ＞２・・・となるようなｙが存在するという意味
後者は１＞０、２＞１、３＞２・・・となるようにｘのそれぞれに対して
ｙ＞ｘとなるようなｙが存在するという意味
なぜそうなるかといえば、「∃ｙ」が「∀ｘ」の後にでてくるから
ｘが選ばれたあとにｙを考えるから ｙはｘに依存する
「∃ｙ」が「∀ｘ」の前だったら、ｘを選ぶ前にｙを考えなくてはならない
たったそれだけの簡単なことが、中卒SET Aには理解できないｗ
- 457 名前：１３２人目の素数さん [2021/11/21(日) 07:56:00.96 ID:ZtueUz+V.net]
- >>411
{{…{{}}…}}が集合でないという問題には取り合えず目を瞑ったとして。。。
後者関数 s(x)={x}、ω={{…{{}}…}} と定義した場合
ωの前者 {…{{}}…} が存在する！
後者関数 s(x)=x∪{x}、ω={0,1,2,…} と定義した場合
ωの前者は {0,1,2,…} から最大限を取り除いた集合であるが、んなものは存在しない。
>あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
言い負けまいと脊椎反射で返すのが許されるのは三歳児までね
|
 |
