形式系统的发展彻底改变了我们对数学的理解。
这个世界极其危险、不可信任、不可靠。
我一直都是一个斗士，我认为这就是我能够坚持下去的原因。
我从不买任何东西，除非我能给自己一个充分的理由为什么要买它。
The moment one gives close attention to anything, even a blade of grass, it becomes a mysterious, awesome, indescribably magnificent world in itself.