我猜他想说的是不完备定理

【 在 molar 的大作中提到: 】
: 首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……
: 当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。
: 最后，霍金这话的出处能找到么？想去看看他的原话是咋说的。
: ...................
--
FROM 123.123.153.113