Oo，oo以后，及其极限

张恂

>>1931年奥地利25岁的天才数学逻辑学家歌德尔提出了一条划时代的定理，粉碎了希尔伯特形式化的美梦。哥德尔定理向我们展示，公理系统本身的协调性的陈述在被编码成适当的算术命题后，将成为一道这样“不能决定的”不能决定的命题。想象一个表达式既不为真，也不为假，它的真假对一个形式系统（计算机）而言它是不可判定的。因此在这方面，哥德尔定理是我们面临的又一个极限。

这是科学整个逻辑系统的局限，可能永远无法跨越。