ちょう げん帰納 きのう ほう
cho ugen kinō hō

Noun

1. transfinite induction