罗素悖论与不可定问题.docVIP

第六章 罗素悖论与不可判定问题 §6.1 罗素悖论及其彻底消除方法 6.1.1 罗素悖论与已有解决方法简述 1902 年罗素、策梅罗发现了集合论中的一个重要的“策梅罗——罗素悖论”。关于这个悖论黄耀枢著《数学基础引论》（北京大学出版社，1987 年出版）118-119页作了如下叙述。 “依逻辑二分法，可把集合分为两类： 第一类：非正常集合。例如：所有集合的集合、所有观念的集合，都是非正常的集合。这类集合的特点是：集合本身也可以作为自己的一个元素。所以可以作如下的定义： 定义1 如果是非正常集合，当且仅当可以包括自己作为一个元素。通常把满足非正常集合的条件记为：。 第二类：正常集合。例如：所有中国人组成的集合、所有自然数组成的集合、所有拉丁字母组成的集合等都是正常集合。这类集合的特点是：集合本身不能作为自己的一个元素。所以可以给正常集合作如下一个定义： 定义2 如果是一个正常集合，当且仅当集合本身不是自己的一个元素。通常把满足正常集合的条件记为：。 现在设：所有不以自己为元素的集合组成一集合R, 即令所有正常集合组成一集合R。亦即。那么集合R包不包含自身？或者说集合R是属于第一类集合还是属于第二类集合？” 结果得到：“集合R包含在R中当且仅当R不包含在R中的矛盾”。 为了解决集合论中的悖论，在罗素的《数学原理》中建立了逻辑类型轮。其中一个内容说的是：‘应消除这种表示“