mathematical logic
noun
mass noun
- the part of mathematics concerned with the study of formal languages, formal reasoning, the nature of mathematical proof, provability of mathematical statements, computability, and other aspects of the foundations of mathematics数理逻辑。