Transfinite induction - Other languages