麻辣小说网 > 玄幻奇幻 > 数学心 > 第四百章 策梅洛的ZF公理系统

第四百章 策梅洛的ZF公理系统

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

    策梅洛对弗兰克尔说:“理发师的麻烦,摧毁了集合论,那集合公理化这个数学工程是没法做下去了。”

    弗兰克尔说:“这个问题确实棘手,但是貌似我们还是可以有办法的。”

    策梅洛说:“出现如此大的漏洞,不会那么容易有办法吧?”

    弗兰克尔说:“罗素说的理发师问题,这是一个定义上的问题。不是每个数学模型都会有如此儿戏般的定义。我们只要在集合公理上加上一条,不要用类似有理发师悖论的定义了。”

    策梅洛说:“废话,我还不知道吗?可问题有其他类型的悖论该怎么办?脆弱的集合论随时都会被各种古怪的话语所摧毁。”

    弗兰克尔说:“你都说,古怪的话语,我们只要不要让古怪的话语在其中出现,问题不就解决了?”

    策梅洛说:“如果做到这一点,难道是在其中设置一些限制,就像是法律规定一样,不要出现一些东西?”

    弗兰克尔说:“当然了,正是有太多怪东西,我们分类铲除不就可以了?”

    两个人商量着,根据前人的基础,创立了公理化集合论。其中有九条,这九条有了,任何集合公里都