ちょう げん帰納 きのう ほうであれば
cho ugen kinō hōdeareba

Noun
Da Copula

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

1. If transfinite induction; Were transfinite induction

Ba Conditional