noun
mathematical logic
Academic field that studies formal logical systems using mathematical methods; synonymous with 数理論理学.
数学的論理学は、命題論理や述語論理を扱う。
Mathematical logic deals with propositional logic and predicate logic.
More common synonym for mathematical logic; 数学的論理学 is slightly longer and less frequent.
Compound of 数学的 (mathematical) + 論理学 (logic).