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