策梅洛与罗素在讨论关于集合论的问题。
策梅洛对罗素说：“一切东西都可以使用集合原理进行推导，然后就可以推导出任何一种数学的定理。这就是集合论存在的原因。”
罗素说：“是一个十分迷人的想法。”
策梅洛说：“所以数学都可以用集合符号进行表示，这将是一个宏伟的工程。我们以后可以把各种数学上的定理都用集合的方法描述。”
罗素说：“我的心里总觉得不对劲，感觉有问题。”
策梅洛说：“这个问题会是因为集合论引起的吗？”
罗素说：“那就是集合论是否包含自身？”罗素心里觉得这是一个十分重要的问题。
策梅洛说：“你想这样的怪问题干什么？集合论怎么会有如此古怪的东西？自己去包含自己，想都很难想。”
罗素说：“假如一个理发师给一个村的不会自己理发的人理发，这算不算一个集合？”
↑返回顶部↑