コンパクト性定理の別証に位相空間論が出てきました
（基礎論だけで閉じた証明もありましたが）
基礎論は数学の各分野を基礎づける分野だと思っていましたが、そうではなく
他の分野と同等な数学の一分野という位置づけで考えた方が良さそうですね
だから他の分野の結果を使ってもよいと。