物理に対する数学の関係が、通常の数学に対する数学基礎論の関係なんだな、なるほど。