It is by no means an irrational fancy that, in a future existence, we shall look upon what we think our present existence, as a dream.

某个命题可以从某一组公理通过某一规则系统推导出来，这一事实本身并不使其为真。

I love the competition, the challenge, and the fight.

语言是一种武器，我精准地运用它。