21/12/15 21:56:04.67 lFg5/0jy.net
>>273
ひとまずひとつだけコメントしておきます。
ω+1を最初に持ち出してきたのはスレ主さんの方ですよ？
ω+1とはω∪{ω}={0,1,…,ω}のことで、>>265で「コンパクト化」と言ってるものです。
21/12/15 21:56:04.67 lFg5/0jy.net
>>273
ひとまずひとつだけコメントしておきます。
ω+1を最初に持ち出してきたのはスレ主さんの方ですよ？
ω+1とはω∪{ω}={0,1,…,ω}のことで、>>265で「コンパクト化」と言ってるものです。