>>252
>>有限シングルトンの全体集合の一点コンパクト化の際
>>追加された一点が
>>「可算多重の{{{...}}}ω」
>>でなければならない理由は全くない
>理由はあるよ

もう、やめとけって