webjb

哥德尔定理不是指向公理的。

送交者: 二麻子于 2026-09-29 12:14:59

回答: 我理解所谓哥德尔不完备定理，就是建立任何体系都必须由于 2026-09-29 08:27:51

那个定理的大致意思是，一个足够复杂的体系里，一定存在一个
无法由体系公理系统能判定其真伪的表述。

最简单的想法就是，把这个表述定义为真或者伪，并作为公理添加
上去，构成一个新的更严格一点的公理体系。

可惜，新体系里继续存在不能判断真伪的命题。所以，不完备性
是不可避免的。

阿列夫0和阿列夫1之间，还有没有别的阿列夫存在？数学家用
了几十年来证明，无法判断不其存在，也无法判断其不存在。

目前的习惯做法是当做不存在。嘿嘿。

阅读次数：26

所有跟贴:

其实公理也是一样，无法证明就是无法判定真假。强行老道 (103字节) 09/29 12 57:21 (10389719)
- 公理也是可以追加的，不能说没设定的就是哥德尔不完备老道 (51字节) 09/29 13 07:17 (10389720)
  - 当然可以追加，但是，追加后仍然不完备。 (无内容) 二麻子 (0字节) 09/30 10 17:00 (10389739)
  - GEMINI对我的说法大加赞赏！哈哈！老道 (1089字节) 09/29 16 02:10 (10389725)

加跟贴