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.