La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio matemático de la lógica y su aplicación a otras áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.