Second Principle of Transfinite Recursion