形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
Technology is nothing if it doesn't solve real problems.
将公司本身视为需要迭代优化的产品
I don't think you should ever settle for anything less than what you deserve.