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

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 超限帰納法

1. If transfinite induction; When transfinite induction

Nara Conditional