Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.
数学推理可以相当系统地看作是对两种能力的结合运用，我们可以称之为直觉和独创性。
形式系统的发展彻底改变了我们对数学的理解。
I respect all my opponents because they make me better.
初心本无善恶，但念头一动，便有了分别心。与其纠结对错，不如回归本心，像孩子一样纯粹地看待世界。
"我写作是为了逃离影子，但最终总是找到它。"
The present is a fleeting moment, already becoming the past.