快好知 kuaihz订阅观点

 

罗素悖论的数学形式

罗素悖论的数学形式

S={ x | x 

 x}

定一个集合S,它由一些元素的集合x组成,这些元素要满足一个条件就是自己不属于自身,即x不属于x,所有自己不属于自身的这些元素的集合,在一起就构成了全体,即一个大的集合S。这里需要强调一下:x不是单个元素,而是所有满足这个条件的集合,因为在集合理论中,集合本身是可以作为元素被包含在一个更大的集合中的。

这个公式就表示出了所有不属于自身集合集合,所有跟自己不相等集合集合

这个时候问题就来了:S ∈ S ?

如果S 

 S ,那么S ∈ S。

如果S不属于S的话,那么就满足集合自身的定义了,这个括号里的x不属于x,那么就可以推导出S属于S,那这就矛盾了。

如果S ∈ S ,那么S

  S。

如果S属于S的话,但S这个集合的定义是要满足x不属于x这个条件的,也就意味着S也是满足这个条件的,于是就得出:S不属于S。那这就又矛盾了。

这就是罗素悖论的数学形式。

本站资源来自互联网,仅供学习,如有侵权,请通知删除,敬请谅解!
搜索建议:罗素悖论的数学形式  罗素  罗素词条  悖论  悖论词条  形式  形式词条  数学  数学词条  
学堂逻辑学

 因果关系的逻辑训练

1 奖学金和学习效率某学院最近进行了一项有关奖学金对学习效率是否有促进作用的调查,结果表明:获得奖学金的学生比那些没有获得奖学金的学生的学习效率平均要高出25%...(展开)

学堂

 如何理解思维导图各连线的含义

连线是思维导图的重要组成部分,不管是何种思维导图,其中必定会有一些连线。连线既是对相连两方关系的建立,更是绘制者绘制思路的展示。每一条连线都代表着绘制者的一条思...(展开)