20/01/01 10:59:56 Vft3k8P2.net
訂正
4) ωはω未満の順序数の上界となっていることが確かめられる。
です。
順序数の集合が定義できてないのに、極限もへったくれもないでしょ？
これは別に論理式わからなくても理解できるはずですけど？
ほんとは分かってるんじゃないんですか？
20/01/01 10:59:56 Vft3k8P2.net
訂正
4) ωはω未満の順序数の上界となっていることが確かめられる。
です。
順序数の集合が定義できてないのに、極限もへったくれもないでしょ？
これは別に論理式わからなくても理解できるはずですけど？
ほんとは分かってるんじゃないんですか？