数理 すうり論理 ろんり がくであれば
sūrironrigakudeareba

Noun
Da Copula

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

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

Ba Conditional