穷举状况的话，只有这个可能性可以造成死循环满足测试现象，不必真实验证，否则可以继续到验证计算机是否可靠的地步，而应用不完备性定理，有些命题就是既不能证明也不能证伪的。只要满足应用就可以了。