>>127
> あ、君、ここ!ここで「え!」をつかうんだよ!

え!日本ではmathematical logicを「数理論理学」と呼ぶよりも「数学基礎論」って呼ぶ方がポピュラーなんだ!