命题为真可以先假设命题为假，如果推出矛盾则命题为假不成立，从而推出命题为真，这就是反证法：）

所有跟帖： 

• 我没明白你到底想证明什么？：）＂道可道非常道＂这个命题是假的？ -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