Our mathematics of the last few decades has wallowed in generalities and formalizations.