罗素悖论

罗素悖论
Russell’s Paradox

设S是由一切不属于自己的那些集合所组成的“集合“，即
S={x|x∉x}

S是一个集合吗？

如果S是一个集合，
那么我们问:
S属于它自己吗？

如果S属于S，
则S不符合“不属于自己“的条件“，
于是应该有S不属于集合S。

但是如果S不属于S，
则S符合“不属于自己“的条件，
又应该有S属于集合S。

这就形成一个悖论。

罗素悖论还有一些更为通俗的描述，如理发师悖论。

【理发师悖论】

在某个城市中有一位理发师，他的广告词是这样写的：
“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”

来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。

可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，打算给自己刮脸。

但他思考他能不能给自己刮脸呢？

如果他不给自己刮脸，他就属于“不给自己刮脸的人”，
按照他的规定，他就应该给自己刮脸。

但是如果他给自己刮脸，他又属于“给自己刮脸的人”，
按照他的规定，他就不该给自己刮脸。

理发师陷入“给自己刮脸不对，不给自己刮脸也不对”的两难境地。

这里，
我们把S看成是所有不给自己刮脸的人组成的集合。

理发师将为S里面的人刮脸，
而且他不给S以外的人刮脸。

如果理发师不给自己刮脸，那他就属于S，
理发师就应当为他自己刮脸。

如果理发师要给自己刮脸，那他就不属于S，
理发师就不应当为他自己刮脸。

这就是罗素悖论的通俗描述。

罗素悖论告诉我们:
由一切不属于自己的那些集合所组成的对象不能构成一个集合。

也就是说，以下式子
S={x|x∉x}
不能定义一个集合。

因为我们不能判断S属不属于S。

2020-7-31