英語を勉強する時に至る所で聞く言葉
｢英語は一々日本語に翻訳してちゃいかん！英語は英語のまま理解しろ｣

思うんだが数学も同じなんじゃね？
数学も一々自然言語に翻訳しちゃってどうなのよ？
数学は形式言語のまま理解しちゃいけないのか？
日本では数理論理学が軽視されてるから？この視点、形式的な記述ってあんまりされていないよな？
なんで∀、∃を含む命題を一々｢任意の…存在して…｣って自然言語化するのかがホント理解できない