mathematical logic

Mathematical logic is a branch of mathematics, which grew out of symbolic logic. Subfields include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic has contributed to, and been motivated by, the study of foundations of mathematics, but mathematical logic also contains areas of pure mathematics not directly related to foundational questions.
See more at Wikipedia.org...

Noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
(synonym) symbolic logic, formal logic
(hypernym) logic, logical system, system of logic
(hyponym) Boolean logic, Boolean algebra