有点记不清了，似乎包含皮亚诺的形式系统哪怕公理数量无穷(可数？)，也避免不了哥德尔的问题，同样存在无法证实和证伪的命题。从这个意义上说物理研究没有尽头倒也没错
  
【 在 molar () 的大作中提到: 】
: 哥德尔决定了，这个问题不可能“彻底”解决。
:
: 俺说的是一种退而求其次的方案：
: 1、找到一些（物理世界的）基本事实作为公理集A；
--
FROM 220.192.167.*