自然界の連続体仮説を数理で方程式に抽象化するのが数学なんじゃない