某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
I don't wait for moods. You accomplish nothing if you do that. Your mind must know it has got to get down to work.
You cannot escape your freedom.
Collaboration in mathematics can lead to discoveries that no single mind could achieve alone.