证明是一种用于使他人相信数学陈述为真的工具。
A proof is a device for convincing someone else that a mathematical statement is true.
The beauty of theoretical computer science lies in its ability to connect abstract mathematical concepts with practical computational problems.
The best way to predict the future is to invent it.
能源行业不仅仅是关于利润；它是关于推动进步和改善生活。
君子这样来造船车，所以属下都效法他，因此他的人民就会饥寒交迫，不得不做奸邪的事。奸邪的事情一多，刑罚就重，刑罚一重，国家就混乱。国君若真的希望天下太平而不希望天下大乱的话，如果要做船车，就不能不节俭。