Principle of Transfinite Induction