> If you want to call that informal, fine, but that seems to me like a pretty tiny garnish of informality on top of a mountain of formality. Perhaps you forgot

> If you want to call that informal, fine, but that seems to me like a pretty tiny garnish of informality on top of a mountain of formality. Perhaps you forgot, but you decided that this sin of sprinkling a tiny garnish of informality was so circular and awful that you had to stop reading right there, and provide paragraphs of explanation as to how "number" is a formal concept. If you really thought this was just a tiny garnish of informality atop a mountain of formalism, then I don't know why this is the point you had to stop reading to warn people that this work sucks.