現代数学の系譜 カントル 超限集合論at MATH現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch343:現代数学の系譜 雑談 19/10/12 22:08:33.70 0oc9Ztsl.net>>309 >{{…}} は正則性公理に反するのでZF内には存在できません (>>189より) 正則性公理は、無限降下列を禁止するが、その無限降下列の意味は、 ”無限下降列である x∋x1∋x2∋・・・ ”は 底抜けの最小元を持たない無限単調減少列の意味です ノイマンの自然数構成のような∈関係の無限上昇列を禁止するものではないのです (>>159-160ご参照) なお、>>310もご参照 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch