罗素悖论是罗素于1902年提出的悖论,也叫理发师悖论、书目悖论。 罗素构造了一个集合S:S由一切不属于自身的集合所组成。然后罗素问:s是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果s属于S,根据S的定义,s就不属于S;反之,如果s不属于S,同样根据定义,s就属于S。无论如何都是矛盾的。

罗素悖论

罗素悖论

罗素悖论是 罗素 于1902年提出的 悖论 ,也叫理发师悖论、书目悖论。

罗素构造了一个集合S:S由一切不属于自身的集合所组成。然后罗素问:s是否属于S呢?根据排中律,一个元素或者属于某个 集合 ,或者不属于某个集合。因此,对于一个给定集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果s属于S ,根 据S的定义,s就不属于S;反之,如果s不属于S,同样根据定义,s就属于S。无论如何都是矛盾的。

中文名
罗素悖论
展开
提出者
外文名
antinomy of Russell
展开
应用领域
数学、逻辑学
展开
提出时间
1902年
展开
属性
数学理论
展开
别名
理发师悖论、书目悖论
展开