Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2007/b/8/ii/solution

For each , let be the least ordinal with . It exists because , and it is uniquely definable. Replacement therefore gives the set . Choose an ordinal at least their supremum. Increasingness of the hierarchy gives
If is empty, works. No assumption that itself belongs to is used; it is enough that its elements do.

New to topics? Read the docs here!