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.