Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-4/16i/a/solution

The rank is defined recursively by
For a nonzero limit ordinal , every function , viewed as a set of ordered pairs, has rank , and the set of all such functions consequently has rank .
The von Neumann hierarchy is
for limit . Foundation permits induction down the membership relation and shows that the ranks of all elements of a set form a set of ordinals. If , then every element of lies in , so and hence . Thus every set occurs in the hierarchy.

New to topics? Read the docs here!