嗯，不过这里的关键不是是否“无穷”，而是：1、不能自己证自己；2、不禁止大证小。




【 在 l1978 的大作中提到: 】
: 有点记不清了，似乎包含皮亚诺的形式系统哪怕公理数量无穷(可数？)，也避免不了哥德尔的问题，同样存在无法证实和证伪的命题。从这个意义上说物理研究没有尽头倒也没错
--
FROM 111.201.79.*