第253页
彰彰鱼 (得之；我幸。不得；我命。)
读过 哥德尔、艾舍尔、巴赫
- 页码：第253页
一个人永远也不能给出一个最终的、绝对的证明，去阐明在某个系统中的一个证明是正确的。当然，一个人可以给出一个关于证明的证明，或者关于一个证明的证明的证明——但是，最外层的系统有效性总还是一个未经证明的假设，是凭我们的信仰来接收的 引自第253页 由数学与逻辑学引申出的哲学，甚得朕的心意~
1331人阅读
说明 · · · · · ·
表示其中内容是对原文的摘抄