基礎論が数学じゃないという主張かなwww