La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal, o logística, es parte tanto de la lógica como de las matemáticas, y consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias.
