現代数学の系譜 カントル 超限集合論at MATH
現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch663:現代数学の系譜 雑談
19/12/05 16:40:22.45 O0aFD/lt.net
>>599
>そもそも超限帰納法が理解できていない。
>というより帰納的順序集合が理解できていない。
 超限帰納法は、論点ずらしでしょ
1)おれが言っているのは、Zermelo 構成は、現代数学の自然数のもう一つの(ノイマン構成以外の)構成として認められている(過去レスみてね)
2)自然数のZermelo 構成とノイマン構成とは、二階述語論理で同型だといわれる(過去レスみてね)
3)だったら、ノイマン構成について言えることはZermelo 構成にも言えるし、Zermelo 構成について言えることはノイマン構成にも言える
4)なので、ノイマン構成で順序数ωに相当する集合が構成できるとすれば、Zermelo 構成でもωに相当する集合が構成できるってこと
言っていることはこれだけのこと
”超限帰納法”うんぬんは論点ずらしでしょ


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch