Before one can generalize, formalize, and axiomatize, there must be a mathematical substance.
or simply: