The most exciting moments in mathematics are when you discover that two seemingly unrelated areas are deeply connected.
逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。
The greatest happiness of life is the conviction that we are loved; loved for ourselves, or rather, loved in spite of ourselves.