La principal crítica al formalismo es que las ideas matemáticas actuales que ocupan a los matemáticos están muy distanciadas de los juegos de manipulación de cadenas mencionados anteriormente.