数学基礎論と基礎数学を混同してる人がいるようだな
一言で違いをいえば論理学と算数の違い