Solution (source code)

= Solution

$V_0=\varnothing$, $V_{\alpha+1}=\mathcal P(V_\alpha)$, and $V_\lambda=\bigcup_{\alpha<\lambda}V_\alpha$ at <limits>.