TREC#PROP. Transfinite Recursion.
If $G$ is a function on $\V$, there is a unique function $F$ on $\Ord$ such that for all $\alpha\in\Ord$,
\[F(\alpha) = G(F\restriction_\alpha).\]
TREC#PROP. Transfinite Recursion.
If $G$ is a function on $\V$, there is a unique function $F$ on $\Ord$ such that for all $\alpha\in\Ord$,
\[F(\alpha) = G(F\restriction_\alpha).\]