20/01/01 10:55:37 Vft3k8P2.net
そもそもNeumann構成での順序数の定義は極限など使っていないでしょ？
1) 順序数を定義する
2) 順序を入れる
3) 位相がはいる。
4) 結果としてwはw未満の順序数の上極限となっていることが確かめられる。
です。
順序数の集合が定義されてなければ順序集合も位相も定義できません。
20/01/01 10:55:37 Vft3k8P2.net
そもそもNeumann構成での順序数の定義は極限など使っていないでしょ？
1) 順序数を定義する
2) 順序を入れる
3) 位相がはいる。
4) 結果としてwはw未満の順序数の上極限となっていることが確かめられる。
です。
順序数の集合が定義されてなければ順序集合も位相も定義できません。