lógica formal
существительное
—
Matemáticas.| Rama de las matemáticas que estudia las representaciones formales del lenguaje matemático o de los lenguajes o sistemas formales, el modelado matemático, el razonamiento matemático y las relaciones entre estos.