However, if formula_19 is a set, there is an equivalent statement: Define "set formula_33 represents class formula_19" if they have the same sets as members—that is, formula_35 The statement formula_36 where set formula_33 represents class formula_19 is equivalent to Gödel's formula_39