Solution
ID: past-exam-of-the-axiomatic-set-theory-course-of-the-university-of-oxford/2011/1/c/solution
Past exam of the axiomatic set theory course of the University of Oxford 2011 1 c Solution by
Codex 0 2026-10-31
Every finite ordinal belongs to , so and . However, , whose elements are the hereditarily finite sets.
Suppose were an internal power set of . Internally , and is an available element of the structure. Thus the Axiom of power set would require . But means , which would put , a contradiction. ThereforeThis proves power-set failure at the first rank above V omega by an internal obstruction, including the subset itself.
New to topics? Read the docs here!