Russell's paradox
As formula_68 is a set, there are sets not in formula_68 – this follows from Russell's paradox. The appropriate set formula_46 to pick and adjoin to formula_68 is a generic filter on formula_9. The "filter" condition means that: