真理比可证明的更广阔

形式系统是人类理解世界最精确的工具，但即使是这个工具，也无法触及全部真理。真理的版图永远大于任何特定证明方法的版图。这意味着保持谦逊不是态度问题，而是**逻辑必然**。