数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。