I don't want to be a champion. I want to be a challenger.
逻辑学研究不仅仅是关于正确推理,更是关于思维的自由。
In mathematics, you don't understand things. You just get used to them.