Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics, encompassing the study of mathematical proof, computability, and the foundations of mathematics. It provides a framework for understanding the nature of mathematical truth and the limits of mathematical reasoning, influencing areas such as set theory, model theory, and recursion theory.