不完备定理的考察系统：蕴涵皮亚诺算术公理且自洽的形式系统。

所有跟帖： 

• 那我没说清楚：）你文章中说＂道可道＂自相矛盾，我想问，既然＂道可道＂都自相矛盾，你下面的证明想说明什么？：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 07:09:14

• 说明这句话不成立。且Goedel也用了推出矛盾的方法证明了不完备定理。也是回应您帖子里说的Goedel证明了“道可道”成立。：） -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 07:15:00

• 如果命题为假，你不需要做任何事。麻烦事是当命题为真，你必须能证明：） -JSL2023- ♂ (0 bytes) () 10/26/2024 postreply 07:19:44

• 命题为真可以先假设命题为假，如果推出矛盾则命题为假不成立，从而推出命题为真，这就是反证法：） -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 07:58:00

• 我没明白你到底想证明什么？：）＂道可道非常道＂这个命题是假的？ -JSL2023- ♂ (111 bytes) () 10/26/2024 postreply 15:09:11

• 道可道这个命题不成立&不完备定理并没有证明它成立。 -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 18:10:31

• 那Godel 多半不能用来＂证明＂吧，我岀的题没人答呀：） -JSL2023- ♂ (175 bytes) () 10/26/2024 postreply 18:57:55