数理 すうり論理 ろんり がくだったら
sūrironrigakudattara

Noun
Da Copula

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

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

Tara Conditional