形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
大胆行动，全心全意地投入，连上苍也会受感动。
Failure is an option here. If things are not failing, you are not innovating enough.
The violation of Bell's inequalities forces us to reject either locality or realism - or both.
所以，根基树立不牢的人，不要期望有茂盛的枝叶。