罗素悖论
那么是否可以不去掉概括公理，而只对概括公理中的性质加以限制，保证不出现反相关的情况，从而解决罗素悖论呢？这样做确实可以消除罗素悖论，但并不足以解决集合论的问题。矛盾仍然可能由集合运算而产生。因此，集合论的问题有更深层的原因，而人们还不知道是什么原因。这是为什么现代集合论除了去掉概括公理，还要把集合限制在很小范围内的原因。