  The above hierarchy of types can be recast in the uniform setting of set theory.  The set-theoretic hierarchy is defined inductively by starting with the emptyset, taking the powerset at successor stages α+1, and taking the union at limit levels λ: