第176章策梅洛的ZF公理系统（1 / 2）

策梅洛得知这个情况之后，想着手处理这个难题。策梅洛认为，想要解决理发师悖论问题，就需要规范集合论。不能再是按照康托尔的朴素集合论那样简单的进行了。

策梅洛创立了公理化集合论。其中有九条，这九条有了，任何集合公里都可以建立在这个基础上使用了。其中第二条，直接就排除掉了理发师悖论的问题。

一，外延公理：一个集合是由其元素决定的。两个元素相等则集合相等。

二，分离公理模式：一个公理元素对应的性质同时为真，才能是一个集合。

三，配对公理：两个集合中任意两个元素配对后可以形成一个集合。

四，并集公理：让两个集合元素加起来，形成一个新集合。

五，幂集公理(子集之集公理)：存在以已知集合的一切子集为元素的集合。