1 transfinite induction: 무한유도