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