>>7
もう不動点定理ぐらいで「悪魔の証明」じみた非存在証明に軸足移ってる。