逻辑学研究不仅仅是关于正确推理,更是关于思维的自由。
当我退役的时候,我希望回头看我走过的路,每一天,我都付出了我的全部。
The beauty of mathematics is that it is universal.
We are forever responsible for what we have tamed.
Language is the most powerful tool of human thought.