[過去ログ] 現代数学の系譜 カントル 超限集合論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