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

>>33
つづき


あとは、<ノイマン構成>と異なり、<Zermelo構成>で「ω＝N（自然数の集合）」以外のωの定義が可能かってことね
<Zermelo構成>では、「0∈1∈2∈3・・・∈n∈・・・→ω」の極限として、ωを定義すれば良い
この論法は、<Zermelo構成>以外の後者関数でも使えるよ
以上