ゴットロープ・フレーゲ
現代的な公理的集合論においては、無制限な包括原理、つまり「性質formula_17を満たす全てのものの集合」というような集合の構成を単純に禁止することでこの矛盾を回避している。例えばゴットロープ・フレーゲの公理系ではこれはまだ禁止されていなかった。なお、NFでは異なった解決法が採られている。