命题A无法被证伪，所以无法找到他的反例

他的反例实际上存在，但是你通过已知的公理找不到
瞎蒙可以找到，但是这不算在公理系统范围内证明

这种情况可能吗

【 在 zxf (天堂鸟) 的大作中提到: 】
: 我这里没说一般命题，而是直接说黎曼猜想。黎曼猜想是说不存在非奇异零点。我觉得在一个有限范围内不存在非奇异零点应该是可以证明或者证否的——直接算出来即可。那么黎曼猜想就可以表达为“可数个——可以证明或证否的命题——的交集”，这种情况下是否可以得出像我标
--
FROM 43.243.12.*