嗯，我理解哥德尔的论证，所谓哥德尔命题在元数学语义上构建了一个不可证的自指性命题，但在原系统仍是一个语义清晰明确的合法命题，也不好说自己证自己。另外不断扩充公理集的解决方案，也就等效于将一个哥德尔命题或其否命题加入公理集，在悲观派看来数学的基础完全不坚实啊，没准哪天就崩了
  
【 在 molar () 的大作中提到: 】
: 嗯，不过这里的关键不是是否“无穷”，而是：1、不能自己证自己；2、不禁止大证小。
:
:
:
--
FROM 220.192.167.*