—— 请按键盘 空白键 开始游戏 ——

某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
企业的成功不是靠数量,而是靠品质。
"The journey of a thousand miles begins with one step."