Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2008 / B / 5 / iii

Fix a logical formula $\theta (x,y,\vec{p})$ with parameters in $V$, and a set $a\in V$. Suppose $⟨V,\in ⟩$ satisfies that each $x\in a$ has a unique $y$ with $\theta (x,y,\vec{p})$. Relativize every unbounded quantifier in $\theta$ to the definable class in set theory $V$, obtaining an ambient first-order formula ${\theta }^V$.

Transitivity of $V$ ensures that every member of $a$ belongs to $V$. The ambient relationtherefore defines a unique ambient set $y$ for every $x\in a$. Apply ambient replacement to obtain its range set $b$. By construction every element of $b$ belongs to $V$, so part (ii) gives $b\in V$.

Membership in this set $b$ is exactly the range relation required by replacement inside the structure $⟨V,\in ⟩$. Since the logical formula and parameters were arbitrary, every instance of the replacement scheme holds in the hierarchy class in set theory. The proof uses formula relativization to a class and the closure property from part (ii), not the unsupported assertion that $V$ is the whole ambient universe.