某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
I was born to win, but in order to win I gotta be willing to lose.
过去是一个外国;他们在那里做事的方式不同。