真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
I don’t want to be better than anybody else. I just want to be better than I was yesterday.