合论的一个集合。但是在新基础中序类型的搜集（定义为所有良序排序在类似性下的等价类）实际上是个集合，这个悖论被避免是因为小于 formula_7 的所有序数的序类型变成不是 formula_7。
悖论在 ZFC 中的解决.现代公理化集合论通过简单的不允许用无限制的概括公理集合构造来绕过这个悖论，而在弗雷格的公理系统中允许构造“有性质 formula_18 的所有集合”。在新基础中有一个非常不同的解决。