哥德尔定理(1 / 1)

加入书签

哥德尔于所谓所有东西都可以计算这的问题嗤之以

策梅洛ZF公,总会问题存,不可对于数计算是备的。

“谁也能证明们的功系统,是完备,又是靠的。”

哥德认为这以打败何一个称可以圆其说理论系

于任意靠的公和推理则系统S,必存正确的论结论能在S被证明。”哥德证明这震惊世的理论。

对于明的科家和数家,就白自己能无限近真理无法到真理。

只有倔的爱钻角尖的才觉得己可以一宇宙。

↑返回顶部↑

书页/目录