19/12/15 14:42:47.32 PRdnkv5o.net
>>787
>><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
>アウト～
>そもそもωがシングルトンでなければならない道理がまるで無い
その通り
S(x)={x}とすれば、後続順序数の場合、シングルトンになる
し・か・し、ωは後続順序数ではない
したがって、シングルトンである必要がない
無限公理からノイマンのωにあたるツェルメロのΩを構成した場合
Ωはω同様無限集合であってシングルトンではない
19/12/15 14:42:47.32 PRdnkv5o.net
>>787
>><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
>アウト～
>そもそもωがシングルトンでなければならない道理がまるで無い
その通り
S(x)={x}とすれば、後続順序数の場合、シングルトンになる
し・か・し、ωは後続順序数ではない
したがって、シングルトンである必要がない
無限公理からノイマンのωにあたるツェルメロのΩを構成した場合
Ωはω同様無限集合であってシングルトンではない