純粋・応用数学・数学隣接分野（含むガロア理論）21 (208ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
196: 07/28(月)00:24 ID:0TeRvI4n(1/10) AAS
>>194
>”無限”という用語は使えないよ
誰がそんなこと言った？ 言葉が通じないの？ 言語障害？ 病院行けよ
>『N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}（Aは無限公理により存在する集合を任意に選んだもの』>>185
>において
>下記の ja.wikipedia 順序数の大小関係 を借用して
>A={0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω)))}
省18
197: 07/28(月)00:28 ID:0TeRvI4n(2/10) AAS
>>195
自分が読めないものをなぜ引用する？ 頭おかしいの？
198: 07/28(月)00:30 ID:0TeRvI4n(3/10) AAS
バレてないと思ってんの？
サルが論理式読めないのとっくにバレてるよ 読めてたら馬鹿丸出し発言を連発する訳が無いだろ？
199: 07/28(月)00:40 ID:0TeRvI4n(4/10) AAS
>ふっふ、ほっほ
>踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）
サル、部分集合すら分かってないことを指摘されて発狂
部分集合が分からなきゃ集合論は分からないよ 近所の中学生にでも教えてもらいな
202: 07/28(月)00:47 ID:0TeRvI4n(5/10) AAS
AはBの部分集合⇔∀x∈A:(x∈B)
あそっか、サルは論理式読めないんだっけ
じゃ諦めな サルに数学は無理
203: 07/28(月)00:56 ID:0TeRvI4n(6/10) AAS
サルは大学一年の線形代数と微積が初歩から分かってないことが指摘されていたが、まず論理から勉強した方がよい。
論理が分からないと数学は分からない、よってそれらも分からない。つまり君が大学一年四月に落ちこぼれたことがまた繰り返されるだけだから。
204(1): 07/28(月)01:04 ID:0TeRvI4n(7/10) AAS
サル、今日も大惨敗でしたとさ ちゃんちゃん
206: 07/28(月)13:45 ID:0TeRvI4n(8/10) AAS
M:={x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
MはAの部分集合で帰納的集合であるもの全体の集合。
帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
よってMはωを持たない集合を持つ。
よって∩Mはωを持たない。
こんな簡単な論理すら分からずに公開掲示板で集合論語っちゃう厚顔無恥さには恐れ入るばかりである
207: 07/28(月)14:28 ID:0TeRvI4n(9/10) AAS
>帰納的集合はその定義からωを持たなくてもよい。なぜなら{}と後者関数からはωは生成されないから。
{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ 全体の集合をωと定義する。
ωは{}と後者関数S(x)から生成されない。実際、仮に生成されるならωの定義より ω∈ω であり、正則性公理によりωは集合ではないが、これは集合と定めた定義と矛盾する。
帰納的集合はその定義から{}と後者関数S(x)から生成される集合 {},S({}),S(S({})),・・・ をすべて持つ。
一方ωは上記の通り{}と後者関数S(x)から生成されないので、帰納的集合がωを持つかは任意である。
208: 07/28(月)14:46 ID:0TeRvI4n(10/10) AAS
すなわちωを持たない帰納的集合が存在し、従ってあらゆる帰納的集合の共通部分はωを持たない。
「ωを持つから間違い」は無知・誤解・妄想から来る言いがかりに過ぎない。これだから無教養なチンピラは困る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s