La lógica matemática es una parte de las matemáticas que se encarga de estudiar la forma de razonamiento, es decir, por medio de reglas y técnicas, determina si un argumento es válido o no.
La lógica es ampliamente utilizada en filosofía, matemáticas y computación. En los últimos cincuenta años, la lógica matemática ha experimentado grandes avances y ha dado lugar a la llamada lógica moderna.
Para distinguirla de la lógica clásica, a la moderna se le denominó lógica de primer orden. La lógica de primer orden implica solo expresiones finitas y fórmulas bien definidas.
