The study of logical form is not only about language, but also about the world.
对逻辑形式的研究不仅关乎语言，也关乎世界。
The best way to predict the future is to create it.
Quality is not an act, it is a habit.
The truth is a weapon, and like any weapon, it can be used for good or ill.
朗兰兹纲领是对我们理解数学真理本质的挑战。
上帝对人类的唯一要求是一颗平静的心。