noun
mathematical logic
Academic field that studies formal logical systems using mathematical methods. Often contrasted with 記号論理学 (symbolic logic), though the terms are closely related.
See also: 記号論理学
数理論理学は数学の基礎を研究する分野です。
Mathematical logic is a field that studies the foundations of mathematics.
記号論理学 (symbolic logic) emphasizes the use of symbols and formal languages, while 数理論理学 (mathematical logic) focuses more on the mathematical study of logic itself. In practice, they are often used interchangeably.
Compound of 数学 (mathematics), 理論 (theory), and 学 (study). The term is a direct translation of the English 'mathematical logic'.