Principle of Transfinite Recursion