罗素的理发师第1/1段
“一切东西都可以使用集合原理进行推导，然后就可以推导出任何一种数学的定理。”这对罗素来说，是一个十分迷人的想法。
但是罗素心里总觉得有些不对劲。
“那就是集合论是否包含自身？”罗素心里觉得这是一个十分重要的问题。
“假如一个理发师给一个村的不会自己理发的人理发，这算不算一个集合？”罗素被这样的问题给难住了。
“如果算是一个集合，那这些人里是否包含理发师？如果包含理发师，那理发师就会给自己理发，那就不能给自己理发了。但如果不给自己理发，那自己就是一个不能给自己理发的人了。”
罗素发现了问题，即然理发师要理发的人为一个集合，那到底是否包含理发师。这个问题转化为，集合是否包含自己。
“一个集合会不会包含自己？如果包含自己，该如何继续使用它。”
策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。
策梅洛创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。
一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。
二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。这就可以判定理发师问题为假了。可以直接排除掉。
三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。
四，并集公理：让两个集合元素加起来，形成一个新集合。
本章节已阅读完毕(请点击下一章继续阅读!)