~~~上次未发表的内容~~~
~~~上次未发表的内容~~~
~~~上次未发表的内容~~~
~~~上次未发表的内容~~~
  不知道为啥发不了
  ~~~上次未发表的内容~~~
m.s o h u .c o m/a/494 332 668  _12 11 243 59
【 在 molar (molar，嗯。molar，哦？molar，噢！) 的大作中提到: 】
:  首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……
:  
:  当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。
:  
--
FROM 36.112.164.*