A subfield of reasoning and mathematics consisting of the mathematical research of logic while the application for this research to many other regions of mathematics, exemplified by questions on the expressive energy of formal logics and also the deductive energy of formal proof systems.

any logical system that abstracts the type of statements away from their particular content to be able to establish abstract requirements of consistency and validity

## How would you define mathematical logic?