Transfinite Recursion Theorem

Source

 * : $\S 7.40, \ \S7.41, \ \S7.42$