The present is the past rolled up for action, and the past is the present unrolled for understanding.

Every mathematical theorem is a story, a narrative that unfolds through logic and reason, leading to a deeper understanding of the world.

Being is always the Being of a being.

自守形式的研究是数学思想统一性的反映。

Life is not like cooking, where you can prepare all the ingredients before you start cooking.

通过行动来验证你的思想。