The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
A poet must be like a tree, rooted in his native soil, drawing nourishment from it to bear fruit.