形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
我本可以拥有另一种生活,但我正在过这种生活。
你已经足够好了,就做你自己。