形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
小说是生命之书。从这个意义上说，圣经是一部伟大的混乱小说。你可能会说，它是关于上帝的。但它实际上是关于活着的人。
Every ton of coal extracted should carry the weight of our commitment to the future.
过去永远在那里，但它不是唯一存在的东西。
秋天已经结束，白昼仍然漫长，王粲（字仲宣）怀念远方的心情更加凄凉
The most important thing is to be true to yourself and your vision.
你能做的最好的投资就是投资自己。