Every mathematical theorem is a story waiting to be told, a mystery waiting to be unraveled.
每一個數(shù)學(xué)定理都是一個等待被講述的故事，一個等待被解開的謎團。
邏輯學(xué)研究不僅僅是關(guān)于形式系統(tǒng)，而是理解理性思維的基本結(jié)構(gòu)。