美文网首页GEB式大一统
专题列表页
GEB式大一统

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