**Mathematical logic**

The **Answer to the Question**

is below this banner.

**Here's the Solution to this Question**

The study of logic within mathematics is known as mathematical logic. Model theory, proof theory, set theory, and recursion theory are major subfields. Mathematical logic research frequently focuses on the mathematical aspects of formal systems of logic, such as their expressive or deductive capability.