数学 すうがく てき論理 ろんり がくなら
sūgakuteki ronrigakunara

Noun
Da Copula

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

1. If mathematical logic…; When mathematical logic…

Nara Conditional