Provability is a weaker notion than truth.

Provability is a weaker notion than truth.

可证明性是一个比真理更弱的概念。

-- Douglas Hofstadter 侯世达