形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
凡是天下的祸患，掠夺与怨恨，之所以能出现，原因就在于人们不相爱。因此，仁义的人认为这是不对的。
The poem is a canvas upon which the mind can paint.
Sustainability must be the cornerstone of every decision we make in aquaculture, or we risk losing the very resource we depend on.
λ演算本质上是一个关于函数及其应用的理论。
最令人兴奋的突破往往来自意想不到的地方。
释义：水一旦泼出去，就收不回来，后悔也来不及。