The pursuit of pretty formulas and neat theorems can no doubt quickly degenerate into a silly vice, but so can the quest for austere generalities which are so very general indeed that they are incapable of application to any particular.
Eric Temple BellPoincarรฉ was a vigorous opponent of the theory that all mathematics can be rewritten in terms of the most elementary notions of classical logic; something more than logic, he believed, makes mathematics what it is.
Eric Temple Bell