"When you are young, you think you can leave and never look back. But you always do."
年轻时你以为可以离开永不回头,但你总会回望。
数学家是将咖啡转化为定理的装置。
你的花无法绽放是因为我。
逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。