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

Noun
Da Copula

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

1. If transfinite induction; When transfinite induction

Nara Conditional