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.