One can't proceed from the informal to the formal by formal means.
不能通过正式手段从非正式到正式。
The Langlands program is a vision of how mathematics could be understood as a whole.
The world is the totality of facts, not of things.
我不是为排行榜制作音乐,我是为心灵制作音乐。
城市是集体的艺术品。