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

言多必失，要谨言慎行，不要盲目争强好胜。  

你必须为梦想而奋斗。你必须为之牺牲并努力工作。

The dream of every dictator is to turn his country into a prison without walls.

用知识和工具赋能当地社区是可持续水产养殖的基础。