全てが繋がっている、そういう論理空間での数学を構築した方がいいんじゃないかなあと思いました。