[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
198: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:03 ID:rpPbPz0q(1/7)調 AAS
やれやれ
「ハゲネズミ」の由来について、HPのリンク張ろうとしたら
NGワードで規制食らってやっと復活したぜｗ
>>161
>ωから始まる∈無限降下列が存在すると言いたいなら、その列の第2項（ωの次の項）を示して下さい
>>163 馬鹿曰く
>その質問は、哀れな素人さんの無限に関する質問に類似
安達の「最後の自然数は存在しない」という主張のことなら、全く間違ってない
>>164 馬鹿曰く
>ωが、極限順序数で、位相的に集積点（極限点）であり、任意の近傍が S の点を無限に含む
上記の文で何をいいたいのか？
貴様の{・・{Φ}・・}では、どの自然数ｎも要素にならんから無意味
>>165 馬鹿、恒例のコピペ
(整礎関係 wikipedia)
>ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。
>なんとなれば、任意の正整数 n に対して
>ω, n - 1, n - 2, ..., 2, 1
>という鎖は長さ n を持つ。
「長さ有限の降鎖列でいくらでも長いものが取れる。」としか書いてないぞ
そこから「長さ無限の降鎖列がとれる」と思うのは正真正銘の馬鹿
199: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:05 ID:rpPbPz0q(2/7)調 AAS
>>185 馬鹿の逆質問
>１）下記の、順序数の列
> 0, 1, 2, 3, . . . , ω を認めますか？ Y/N
>２）もし、Yesの場合
> 0, 1, 2, 3, . . . , ω で、ωの一つ左の順序数は、何ですか？ あなた、答えられますか？ｗ
>３） もし、Noの場合、現代数学の無限の概念を認めないということですか？ Y/N
１）認める
２）存在しない
３）ωの存在を認める
云っとくが
0, 1, 2, 3, . . . , ω は、ただ要素を順番に並べただけ
降鎖列は要素間に必ず∋が入ってる
したがって「ω∋」と書いたら
その右には必ずある要素を書く必要がある
無限公理のωや
ツェルメロの自然数全体の集合ω’＝{Φ, {Φ}, {{Φ}}, …}
なら、任意の自然数を要素に持つ
（それぞれ自然数を表す集合は異なるが）
しかし、馬鹿が主張している
Ω＝{・・{Φ}・・}
では、どの自然数も要素にならん
したがって、まず
ω∋n - 1∋n - 2, ..., 2∋1
は構成できない
また、もし
Ω∋Ω’∋Ω’’・・・
と要素がとれたとしても
いつまでたっても自然数ｎには
たどり着かんから底抜けｗ
逆に有限回で自然数にたどり着いたら
Ωは自然数だということになるｗ
相変わらず底抜けの馬鹿っぷりだなｗｗｗｗｗｗｗ
200: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:06 ID:rpPbPz0q(3/7)調 AAS
>>192
>Ordの元xに対し
>ツェルメロ構成によるx番目の順序数をZ(x)として
>これを定めるなら、
>Z(0)=0,
>Z(x+1)={Z(x)}
>としてx<ωまではいいでしょう。
>問題はx=ωのとき、すなわちΩ=Z(ω)の定義です。
>これはどうするんですか？
いい質問だ
ここで、賢いヤツなら
Z(ω)=∪(ω>n)Z(n)
とせざるを得ず、したがって(0={}として)
Z(ω)={{},{{}},{{{}}},…}
とならざるを得ないと観念する
決して{…{}…}なんて形にはならない
しかし馬鹿はここで質問に答えない
だから自分の誤りに気づけない
「縁なき衆生は度し難し」
201(1): 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:12 ID:rpPbPz0q(4/7)調 AAS
>>193
>１）ツェルメロ構成での任意aの後者関数；
> suc(a) := {a}による構成は、正則性公理に反しない
> たとえ、それで無限上昇列が出来ても、ということは認めますか？ Y/N
Y
>２）ツェルメロ構成での任意aの後者関数；suc(a) := {a}による構成で、
> 無限公理を適用して、自然数ｎをすべて含む無限集合が出来たとき、
> それはいわゆる自然数Nよりも、余計な元、
> 即ち、超限順序数に属するべき（有限でない）元が
> 生成され、含まれていることに同意しますか？ Y/N
Y
>>195
>では、この超限順序数に属するべき（有限でない）元とは、何なのでしょうか？
馬鹿が考えるような{…{}…}ではないけどな
>ツェルメロ構成でできる集合は、任意aの後者関数；suc(a) := {a}以外は無いですね
相変わらず底抜けの馬鹿だな、貴様はｗｗｗｗｗｗｗ
{}∈X∧(∀x∈X⇒{x}∈X)
（Xは空集合を要素とし、xがXの要素なら{x}もXの要素である）
という条件を満たすXについて
「ｙがXの要素なら、yは空集合か
y={x}で、Xの要素となるxが存在する」
∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X))
とか思ってるだろ？ｗ
そこが馬鹿だというんだよｗｗｗ
実際には
「Xの空集合でないyで、
Xのいかなる要素xについても
{x}=yとならないものが存在する」
∃y.(y∈X∧¬(y={})∧∀x.(x∈X⇒¬({x}=y))
が成立しても矛盾はない
つまり
>超限順序数に属するべき（有限でない）元、それは、消去法で、
>超限回の空集合Φに対する後者関数による超限多重集合 {・・{Φ}・・}（ω＋アルファ回{}多重）
>でなければならない
なんてことはいえない
「縁なき衆生は度し難し」
>それはお認めになるんですよね？
認めねぇよ この大馬鹿者めｗｗｗｗｗｗｗ
202: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:21 ID:rpPbPz0q(5/7)調 AAS
>>201でいってるのは、
{}∈X∧(∀x∈X⇒{x}∈X)
を満たす集合が、
空集合でも単一要素の集合でもない集合を
要素としても全然問題ない、ということ
例えばa={{{}},{{{}}}}を要素としてもいい
但し、もしaを要素とするなら{a}も{{a}}も要素とせねばならない
そういうこと
では、もし
{}∈X∧(∀x∈X⇒{x}∈X) かつ
∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X))
だったら、Xは、馬鹿のいう
{・・{Φ}・・} （無限重）
を要素にもつのか？
しかし、正則性公理の元ではそれはありそうもない
203: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:35 ID:rpPbPz0q(6/7)調 AAS
さて、今日の一曲は・・・これだ！
https://www.youtube.com/watch?v=eYsqYPWzfrM
Emperor 最高だぜ！
204: 第六天魔王 ◆y7fKJ8VsjM 2019/10/07(月)19:49 ID:rpPbPz0q(7/7)調 AAS
そして、これも名曲
https://www.youtube.com/watch?v=4mn4hDT-rc4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s