Elliott Mendelson modified Gödel's approach by having everything be a class and defining the set predicate formula_27 as formula_28 This modification eliminates Gödel's class predicate and his two axioms.