Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/16j/b/solution

Choose from every nonempty subset of . By transfinite recursion set
while the remainder is nonempty. This cannot continue through Hartogs theorem's ordinal , since that would inject into . It therefore exhausts at some ordinal, and the selection order well-orders .

New to topics? Read the docs here!