[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
2(4): 2019/12/20(金)23:31 ID:ZaXFXilg(2/2) AAS
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミは・・ (゜ロ゜;
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよｗ（＾＾；
好きなときに好きなことを書かせてもらいます
省6
172(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)11:31 ID:G5rtMfGn(14/22) AAS
>>166 補足
１．このZermeloの可算無限シングルトンの議論は、
数代前のガロアスレを起点として（随分前なので探すを省略するがご容赦）
哀れな素人さんのスレに飛び火して、数スレを消費し
哀れな素人さんの「他のスレでやってくれ」と言う要請（「基礎スレがないからそれを立てよう」という要請もあって）
この初代スレ、「現代数学の系譜 カントル 超限集合論」 2chｽﾚ:math
が立った
省6
181: 2020/01/01(水)16:54 ID:E03EXCHH(2/10) AAS
>>157
◆e.a0E5TtKE 2020年二番めのトンデモ発言
>・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる
・・・{{{Φ}}}・・・ をよく見よう
一番外側の｛｝がないね
つ・ま・り、集合ではないんだな
（正則性公理を満たさないという指摘に対する
省31
183(3): 2020/01/01(水)16:56 ID:E03EXCHH(4/10) AAS
>>176
◆e.a0E5TtKE 2020年四番目のトンデモ発言
（これが初トンデモ発言同様一番ヒドイ間違い）
>0 :=Φ
>1 := suc(0) = {0} = {Φ}
>2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}（→は、一番右のΦを残すように不要の{}とΦを除く操作）
>3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}（同上）
省28
262: 2020/01/03(金)11:38 ID:glmNLmg1(4/11) AAS
>>253
>今問題になっているのは
>1,2‥の上極限としてどのような集合をあてがうべきなのか
その通り
>今は、あなたの主張である
>Zermelo流ではωにあてがわれる集合Ωとしては
>Ω自身も、その元も、そのまた元も、‥
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s