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)" or "I donot know".
whereas what you said it:
For any statement A, man will eventrally decide it is true or false.