我是一个战士，我喜欢挑战。

It is on the strength of observation and reflection that one finds a way. So we must dig and delve unceasingly.

The more you write, the more you discover what you don’t know.

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