某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
Don’t stop when you’re tired. Stop when you’re done.
The world is full of contradictions, and I try to explore them in my work.
A good mathematician is lazy, but in a constructive way.