[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
54(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/24(火)07:34 ID:UkAnARu3(1) AAS
>>49
>シングルトン、と言い切った瞬間 トンデモ
>ω={x} ⇔ x=ω-1
>ない筈の前者が現れた これこそトンデモ
おまえ、定義と名付けが逆転しているぞ
(>>47より引用開始)
結局は、極限なんだよ
Zermelo構成による後者関数の極限
lim n→∞ suc(n) が存在する
それを、可算多重シングルトンωと名付ける(数学的には定義するだな)
(引用終り)
それでは、数学は出来ないぞ
もう一度書く
Zermelo構成による後者関数の極限 lim n→∞ suc(n) を、可算多重シングルトンωと名付ける(数学的に定義する)
ってこと
これを否定したいなら、
Zermelo構成による後者関数の極限 lim n→∞ suc(n)
が、正則性公理に反すること証明してみなよ
おっさんw(^^;
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.037s