Music is a bridge of the soul, it can cross all obstacles.

不可持续捕捞的真正成本远远超过我们表面上看到的。

The final proof of greatness lies in being able to endure criticism without resentment.

唯一真正有价值的东西是直觉。

形式系统的发展彻底改变了我们对数学的理解。