The tradition is called “formalism.” It’s what G. H. Hardy was talking about when he remarked, admiringly, that mathematicians of the nineteenth century finally began to ask what things like 1 − 1 + 1 − 1 + . . . should be defined to be, rather than what they were.
