コンパクト性定理
本はありません。