英語では mathematical logic と呼ぶのが普通だという前提になっているけど、それ本当なの?
MSC(2010) では mathematical logic and foundations という分野名になってるけど?
「欧米では」と言いながら「米」しか考慮していない人って沢山いるけれど
それと似たような状況認識だったりしない?