我思考语言的界限。

抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

The end of history will be a very sad time.

追求数学知识是一场永无止境的冒险。