La lóxica matemática entiende dos árees dinvestigación distintes: la primera ye laplicación de les técniques de la lóxica formal a les matemátiques y el razonamientu matemáticu y la segunda, na otra dirección, laplicación de técniques matemátiques a la representación y lanalís de la lóxica formal.