有点绕啊。我的意思是证伪的一种常见方法就是举反例，证明了无法证伪是不是就证明了没有反例，也就证明了原命题？
--
FROM 180.109.17.*

我这里没说一般命题，而是直接说黎曼猜想。黎曼猜想是说不存在非奇异零点。我觉得在一个有限范围内不存在非奇异零点应该是可以证明或者证否的——直接算出来即可。那么黎曼猜想就可以表达为“可数个——可以证明或证否的命题——的交集”，这种情况下是否可以得出像我标题这样更强一些的结论呢？

【 在 gloop (　) 的大作中提到: 】
: 没有反例和这个命题为真是一个意思。证明没有反例和证明这个命题是一个意思。但是一个命题为真和可以证明它不是一个意思。排中律表示任何一个命题要么它为真要么它的否定为真。哥德尔定理表示，即便如此，有些命题我们既不能证明它也不能证明它的否定。也可以理解为有些
--
修改:zxf FROM 180.109.17.*
FROM 180.109.17.*