数学 すうがく てき論理 ろんり がくであれば
sūgakuteki ronrigakudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 数学的論理学

1. If it is mathematical logic.; When it is mathematical logic.

Ba Conditional