mathematical logic
Definitions
The branch of mathematics that uses formal systems to study reasoning, proof, and the foundations of mathematics.
Examples
Mathematical logic helps prove theorems.
She studies mathematical logic at university.
The branch of mathematics that uses formal systems to study reasoning, proof, and the foundations of mathematics.
Mathematical logic helps prove theorems.
She studies mathematical logic at university.