真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
The fact remains that getting people right is not what living is all about anyway. It’s getting them wrong that is living, getting them wrong and wrong and wrong and then, on careful reconsideration, getting them wrong again.