mathematical logic
- IPA[ˌmaTH(ə)ˌmadəkəl ˈläjik]
- 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.
noun: mathematical logic