一个人永远也不能给出一个最终的、绝对的证明，去阐明在某个系统中的一个证明是正确的。
当然，一个人可以给出一个关于证明的证明，或者关于一个证明的证明的证明——但是，最外层的系统有效性总还是一个未经证明的假设，是凭我们的信仰来接收的。