La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal.