形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
"We are all fools in love."
我们都是自己生活中的侦探,试图拼凑过去的碎片,以理解我们是谁。