ある集合のベキ集合からベキ集合への写像を適当に定めると、その写像に対して位相が一意に定まることを証明した。
集合に位相構造を入れて何が楽しいのか？という問いの答えはまだ先のようだが、こんな感じで一歩一歩進みたい。

なるほど。論理はイメージを取るための手段でしかないのか。