La
lógica matemática es una parte de la
lógica y la
matemática, que 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. La lógica matemática tiene estrechas conexiones con las
ciencias de la computación y la
lógica filosófica.