Proposition 1 (Transfinite Recursion). For any function $G$ on $\V$, there is a unique function $F$ on $\Ord$ such that for all $\alpha \in \Ord$,
\[F(\alpha) = G(F \restriction_\alpha).\]Pub Mar 10, 2026 Up Jun 10, 2026
Proposition 1 (Transfinite Recursion). For any function $G$ on $\V$, there is a unique function $F$ on $\Ord$ such that for all $\alpha \in \Ord$,
\[F(\alpha) = G(F \restriction_\alpha).\]