現代数学の系譜 カントル 超限集合論他 3at MATH
現代数学の系譜 カントル 超限集合論他 3 - 暇つぶし2ch290:１３２人目の素数さん
21/11/06 07:46:44.81 JjkVf1Pv.net
>>289
整列集合Ａが
・任意の元ａについて、
｛ｘ∈Ａ｜ｘ＞ａ｝
は空でない
・任意の元ａについて
｛ｘ∈Ａ｜ｘ＜ａ｝
が空でなければ必ず最大元をもつ、とすれば、
ＡはＮと同型になってペアノの公理を満たす
のではないかな？

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