Our mathematics of the last few decades has wallowed in generalities and formalizations. — Hermann Weyl
Logic is the hygiene the mathematician practices to keep his ideas healthy and strong. — Hermann Weyl
Before you generalize, formalize, and axiomatize there must be mathematical substance. — Hermann Weyl
God exists because arithmetic is consistent – the Devil exists because we can’t prove it! — Hermann Weyl