数理 すうり論理 ろんり がくです
sūriron rigakudesu

Noun
Desu Copula

The polite form of 数理論理学

1. Mathematical logic.

Polite