Before you generalize, formalize, and axiomatize there must be mathematical substance.