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).\]References
- [1]
- Wikipedia contributors. Transfinite recursion theorem. Wikipedia, The Free Encyclopedia.
- [2]
- Thomas Jech. Set Theory. 3rd Millennium ed, rev. and expanded. Springer, 2002. p. 22.