[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
202(1): 【大吉】 【144円】 2020/01/02(木)09:22 ID:Rnj9mFDn(1/2) AAS
定義がループしています。
205(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/02(木)09:47 ID:YLjNnjPy(3/11) AAS
>>202
>定義がループしています。
いいえ、ループしていません
下記をどうぞ
>>166より再録
1.勿論、これはZermeloの意図した 自然数の公理的構成とは違って、
現代数学の成果
例えば、順序位相による極限などを、自由に使っている
2.いま、問題にしていることは、
21世紀の視点から
ノイマン構成によって、自然数の公理的構成が可能なことは、既知として
ノイマン構成以外の後者関数を使った場合どうなるか?
特に、Zermeloのシングルトンによる後者関数を使った場合にどうなるかを
現代数学の視点で検証しようということ
3.Zermeloのシングルトン後者関数が、正則性公理に反するというもの(=おサルさん)がいる
そんなことは無いと、私スレ主はいう
そういう議論ですよ(^^
(引用終り)
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.042s