1，被释放者必须符合大赦命令规定的条件。
2，按照囚犯的囚衣号码从小到大的顺序，一个接一个地释放囚犯，即：第1个释放囚衣号码为1的囚犯，第2个释放囚衣号码为2的囚犯，依此类推，3，…，n，…
我表示请你不要无视条件1……一个人拿着条件2乱扯干啥呢.

同志，你不是说有无数个囚犯吗，那怎么会放完

无穷大成立，有限的情况下不一定成立，不能改来改去的

条件决定删不尽

“这证明：若x∈W，则x∈U，即x∈W→x∈U，（x∈W→x∈U）→ U=W。”
这步有错。。。
（x∈W→x∈U）这个。没错。但是（x∈W→x∈U）→ U=W。错了。。
x∈U推不出x∈W

我顶52楼

一个“问题”一旦涉入到了潜无穷与实无穷的争论，我相信即便是争论几百年也分不清谁对谁错的。
楼主的问题简化一下就是：
（1）：因为自然数集N中不存在最大自然数，所以按照释放规则，所有的犯人一定全部释放。（因为任何一个犯人都能找到一个比他编号大的犯人）
（2）：按照规则，犯人全部释放是不可能的，因为如果是全部释放，那么肯定会有一个犯人是最后被释放的（假设此人是X，X释放后监狱变为空集），但此人明显不符合释放条件（因为找不到比他编号更大的）。
这个帖子我没细看，有时间好好看一看，挺有趣的。

我与楼主对无穷的理解还是存在很大差异的,不过客观的来讲,楼主所说的问题还是在一定程度上反映了某些涉及到无穷的问题.
在此根据楼主的思路编一个"悖论":
有两个集盒,一个是自然数集N,一个是空集.
现在将自然数集N中的自然数按照从小到大的顺序一个一个拿出放到空集中,请问:按照这种规则,能将N变成空集、空集变成自然数集吗？
第1种说法会是：既然N是无穷集，那么你无论怎么取也不能将N取空的。因为你取到N中的任意一个自然数X，一定会有X+1在N中。也就是说：不能将N变成空集，空集变成自然数集。
第2种说法会是：如果按照这种规则，那么N中的任意一个自然数都会放入到空集中，那么空集岂不就变成自然数集了吗？既然N中的任意一个自然数都放到空集中，那么N岂不就变成空集了吗？
两种说法哪个对哪个错呢？

我认为，a没多大问题，只是b有问题，换言之，b不是a的否命题。b应为:有些按……的规则，通过…步骤，不可以使所有囚犯都能…。否命题的概念课本有，既然这样，楼主下面所论就都无益了

我想知道，1号怎么被释放

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

这个用反证法不是可以秒杀吗？假设一号被释放，那么一定有比一号号码小的，但是实际不存在，所以一号不会被释放。难道我没看懂题？

命题a为：按照“陆续一个接一个释放规则”，通过有限个放人步骤，所有的囚犯都能被释放掉。
命题b为：按照“陆续一个接一个释放规则”，通过有限个放人步骤，有的囚犯不能被释放掉。
在命题b中，你的有限个放人步骤依赖于所被释放的囚犯号码
你证明的只是对于任意一个囚犯都可以通过有限个步骤放走，但没有证明通过有限个步骤，使得所有囚犯都被释放。
就相当于 “对于任意一个自然数都有比他大的数”，“与存在一个数比所有自然数都大”，并不是一个意思

略屌

虽然我集合只是还只有高一水平。。但为什么我感觉就是有穷和无穷的问题。。