第一个前提只是说人总能纠正自己的错误,就是说每当人做出错误判断的时候,这个错误总能被纠正。拿数论来说,如果语句 A 事实上是 false, 而人误判为true,那么有限时间后人总能把它纠正为 false。可是当人没有对 A 下任何判断的时候,当然就不存在纠正的问题。纠正只有发生在有判断以后。所以前提 1
不能蕴含人对每个数论命题都能给出判断。
formally, 前提1是:
For any statement A, if man say it is false(true) and it is true(false), then after finite time man will eventrally say it is true(false).
whereas what you said it:
For any statement A, man will eventrally decide it is true or false.
How do you prove they are equivalent?