我的主帖中的“通过有限个放人步骤”的那个证明有些问题，需要补充进一些东西，我表示这部分作废。应该取消“通过有限个放人步骤”这一限制，用回复中的证法取而代之。
以真命题集P或R为基础去证明，其结论是可靠的。
有效性的定义为：一个演绎论证是有效的，即如果其前提是真的，则其结论必定是真的。
每个演绎论证都要求其前提为其结论的真担保，但并非所有的演绎论证都能做到这个要求，不能做到这个要求的演绎论证就是无效的。
演绎论证是这样一种论证，其前提被要求为结论的真提供决定性的基础。

这正是你想不明白的地方，陷入其中不能自拔。斩月V无月比你高多了

我的主帖中的“通过有限个放人步骤”的那个证明有错误，需要重新证明，考虑到主帖表达的较乱，这里就不重新证明了，还是再重写一个主帖吧。
我表示本主帖作废。

我的主帖中的“通过有限个放人步骤”的那个证明有错误，需要重新证明，考虑到主帖表达的较乱，这里就不重新证明了，还是再重写一个主帖吧。
我表示本主帖作废。

按删不净定理释放。
数学模型是理论上的事实。按这个模型，不可能将所有囚犯都释放。但按照自然数是无穷集的数学假设，能将所有囚犯都释放。
因此，自然数是无穷集的数学假设，与删不净定理相矛盾。