数学是模式的科学，我们研究它们以理解事物如何运作。

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

Fairy tales are more than true: not because they tell us that dragons exist, but because they tell us that dragons can be beaten.

Writing is a form of freedom.

The pig farming industry must rely on technology and talent for high-quality development.

市场经济的本质是自由竞争，而竞争的本质是自由进入。