First Principle of Transfinite Recursion