現代数学の系譜　カントル　超限集合論2

現代数学の系譜　カントル　超限集合論2at MATH

現代数学の系譜　カントル　超限集合論2 - 暇つぶし2ch252:１３２人目の素数さん
20/01/02 21:55:04.42 lJNP8tAT.net
Zermelo構成のωは無限集合
なぜならいかなる自然数ｎについてもｎ＜ｍとなる自然数ｍが存在するから
∀ｎ∈Ｎ∃ｍ∈Ｎ．ｎ＜ｍ
したがってωの要素となる自然数の中に最大値が存在してはならないので
必然的に無限集合になる

次ページ

続きを表示

1を表示