机械是我们这个时代的伟大文明推动者。
Machinery is the great civilizer of our age.
在奥林匹克誓言中，我只要求一件事：体育忠诚。
我不是为了解释而写作，我是为了迷惑而写作。
实现明天的唯一限制就是我们今天的怀疑。
在上位的有什么爱好，在下面的人一定爱好得更加利害。
The study of Galois representations is a testament to the beauty of algebraic geometry.
"When I approach a child, he inspires in me two sentiments; tenderness for what he is, and respect for what he may become."
逻辑学研究不仅仅是关于形式系统，更是关于理性思维和话语的规范。