＞チコノフの定理は『コンパクト空間の直積はコンパクトである』というのらしい。


それも究極的には、自明の理なるものを設定してつまり直感に頼っているのではないのですか？