Nothing is funnier than unhappiness.
没有什么比不快乐更有趣了。
形式系统的发展彻底改变了我们对数学的理解。
成功不是终点,失败也不是致命的:继续前进的勇气才是最重要的。
You have to fight to reach your dream. You have to sacrifice and work hard for it.