Quite so. It's also not true that formalism was ever the philosophical viewpoint that most mathematicians felt fit their views best.