基本可以做到。你要是对数学证明熟悉的话，就知道了。每一个证明用的逻辑联词或符号几乎都有相应的英文。比如 for every (or for all), there exists, such that, imply, 等等。这里 我无法输入相应的逻辑符号。 当然， 中文也可以，嘿嘿。但比较生硬。比如 “for every (or for all), ”的相应中文是 “对任意一个”， “there exists” 翻成“存在”， 但 such that, 就比较不太好翻了。直接翻成 “致使”， 或 “以至于”就显得很不自然。常需要改换另一种叙述方式。 总之，symbolic language本来就是西语体系内产生的东西，能和本来的语言自然接轨是理所当然的。咱们只是“拿来主义”而已。