数すう理り論ろん理り学がく

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: 記号論理学

• 数すう理り論ろん理り学がくは数すう学がくの基き礎そを研けん究