基礎論ってネーミングがよくないな。

でも数理論理学っていうのもよくないよ。

やっぱロジックでいいんじゃないの？