真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
我们必须小心不要成为风格主义者。
I’m not a guy that’s going to let my commitment down.