命題為真可以先假設命題為假，如果推出矛盾則命題為假不成立，從而推出命題為真，這就是反證法：）

所有跟帖： 

• 我沒明白你到底想證明什麽？：）＂道可道非常道＂這個命題是假的？ -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