不完備定理的考察係統：蘊涵皮亞諾算術公理且自洽的形式係統。

所有跟帖： 

• 那我沒說清楚：）你文章中說＂道可道＂自相矛盾，我想問，既然＂道可道＂都自相矛盾，你下麵的證明想說明什麽？：） -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