たとえば微分積分の授業で
各点連続は∀∃∀の形の多重量化を用いて定義するのに対して
一様連続は〜〜と教師が言っていたとして、

　「ちょっと待って下さい、今の場合、どういう言語を想定しているんですか？
　集合論の言語を想定しているなら今挙げたような複雑な量化は出て来ない事は明らかだ。
　この質問にもし答えられないとしたらナンセンスなことしか言っていないことになる！」

とか言い出したら、もう基礎論キチガイと思われても仕方ないレベルだと思うんだが……
もちろん、明確に特定の言語を想定して居なくても、先生のremarkには十分意味はあるわけで。