Formalism in math states that mathematical truth is what can be proved. Manipulating uninterpreted symbols is part of math no matter what philosophy you subscribe to. The author of the quote is clearly making a practical, not a philosophical, claim here.