哥德尔不完备性定理表明，宇宙之间全部的真理不能缩小到有限的数量。
你需要塞的公理将无穷无尽。那么你塞的用处是什么？

【 在 tarry 的大作中提到: 】
: 晕，这要啥论文，简单点儿，你把那些不能证真也不能证伪的命题作为公理加到原来的系统里就完了。
: 比如光速不变就是爱因斯坦塞进去的
--
FROM 112.47.160.*