Por formalismo matemático se entiende, en materias relacionadas con las fundamentos de las matemáticas, la filosofía de las matemáticas y la filosofía de la lógica, una teoría que sostiene que las proposiciones de las matemáticas y la lógica pueden considerarse como declaraciones sobre las consecuencias de ciertas reglas de manipulación de símbolos o términos o cadena de caracteres.