Original: Transfinite induction, a kind of mathematical induction
Simplified: - induction, a kind of transfinite induction