ちょう げん帰納 きのう ほうだったら
cho ugen kinō hōdattara

Noun
Da Copula

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

1. If transfinite induction; Were transfinite induction

Tara Conditional