没有反例和这个命题为真是一个意思。证明没有反例和证明这个命题是一个意思。但是一个命题为真和可以证明它不是一个意思。排中律表示任何一个命题要么它为真要么它的否定为真。哥德尔定理表示，即便如此，有些命题我们既不能证明它也不能证明它的否定。也可以理解为有些真命题无法证明。
【 在 zxf (天堂鸟) 的大作中提到: 】
: 有点绕啊。我的意思是证伪的一种常见方法就是举反例，证明了无法证伪是不是就证明了没有反例，也就证明了原命题？
--
FROM 182.149.108.*