Transfinite Recursion Theorem

Source

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