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

Noun

1. transfinite induction