[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
206(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)00:10 ID:3SQHWkr4(1/5)調 AAS
>>205
＞という形までしか許されません。私の>>18を見て下さい。
ああ、>>18をアップした人だったのかい？（＾＾
>たの論文なり教科書に載ってる結果を引用したいのなら構いません。
まあ、探してみるけどね
おれさ、おっちゃんみたいに、こんなバカ数学板に、ぐだぐだ記号で証明書く趣味ないんだよね
そもそもがさ、書かれた証明が初出なら、タイポとかありうるでしょ
で、真剣に読んだら、あっちにタイポ、こっちにタイポじゃ、赤ペン先生の添削やっているのと変わらんでしょ
まあ、自分が書いたら、もっと非道いだろうけどね（＾＾；
えーと、それで>>197に書いたけど
(引用開始)
じゃあ、それ、通常の自然数で、N⊂E かつ N≠Eですね
つまり、EはNに対して、真に大きい
つまり、EはNに対して、余分な元を含む
つまり、Nは全ての有限の元を含むので、任意ｎの空集合Φに対する後者関数による{}多重の集合 {・・{Φ}・・}（n回{}多重）を含むので、それ以外の余分な元を含む
それは、消去法で、有限でない元、つまり超限なる（整列したときに超限順序に属する）元ですよね
(引用終り)
これは、認めるんだね
念を押しておくよ
「EはNに対して、余分な元を含む」
「Nは全ての有限の元を含むので、任意ｎの空集合Φに対する後者関数による{}多重の集合 {・・{Φ}・・}（n回{}多重）を含むので、それ以外の余分な元を含む」
「それは、消去法で、有限でない元、つまり超限なる（整列したときに超限順序に属する）元です」
ってことな
207(1): 2019/10/08(火)00:39 ID:86YyLDZA(1)調 AAS
>>206
> (引用開始)
> じゃあ、それ、通常の自然数で、N⊂E かつ N≠Eですね
> つまり、EはNに対して、真に大きい
> つまり、EはNに対して、余分な元を含む
認められるのはここまでです。
> つまり、Nは全ての有限の元を含むので、
Nが全ての有限集合を含むわけないでしょ？
しかし
>任意ｎの空集合Φに対する後者関数による{}多重の集合 {・・{Φ}・・}（n回{}多重）を含むので、それ以外の余分な元を含む
多分これはEが>>192で定めたZ(n)を全て含むという意味なら成立しません。
しかし置換公理をうまく使ってZ(n)を全て含むFを再構成はできるのでそれは認めましょう。
しかし
> それは、消去法で、有限でない元、つまり超限なる（整列したときに超限順序に属する）元ですよね
ここがダメです。
ノイマンの方法ではEの中で順序数出ないもの、有限集合でないものを除けば求めるωが構成できました。
しかしこのFに同じ要領で
{x∈F|xはある有限ツェルメロ順序数}
と定めていらないものをカットしようとしても得られるものは
{Z(0),Z(1),‥}
にしかなりません。
ノイマンの方法を流用してもあなたの求めるΩにはなりません。
208: 第六天魔王 ◆y7fKJ8VsjM 2019/10/08(火)05:27 ID:bC9PKbug(1/3)調 AAS
>>206
>おれさ、おっちゃんみたいに、こんなバカ数学板に、
>ぐだぐだ記号で証明書く趣味ないんだよね
馬鹿はつたない日本語で数学的ウソを書く悪い趣味があるｗｗｗ
それにしても>>206の日本語はヒドイな
貴様、マジで朝鮮人じゃないのか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s