A proof tells us where to concentrate our doubts.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
故事的力量在于它能够将我们与普遍的人类经验联系起来。
世界称之为不道德的书籍,恰恰是揭露了世界自身羞耻的书籍。