数すう学がく的てき論ろん理り学がく

noun

mathematical logic

Academic field that studies formal logical systems using mathematical methods; synonymous with 数理論理学.

• 数すう学がく的てき論ろん理り学がくは、命めい題だい論ろん理りや述じゅつ語ご論ろん理りを扱あつかう。

  Mathematical logic deals with propositional logic and predicate logic.