逻辑学研究不仅仅是关于推理规则,更是关于思想结构本身。
A mathematician is a device for turning coffee into theorems.
Life is too short to be anything but happy.