	An alternate definition, due to Gödel, characterizes each L as the intersection of the power set of L with the closure of formula_8 under a collection of nine explicit functions, similar to Gödel operations. This definition makes no reference to definability.