The subject at hand here, mathematics, is by definition about formalisms.
(You'll have to excuse me. I'm a musician, but I'm used to dealing in historical facts).