A Note on Abstraction

I am tired of saying that something is true for all numbers. It would be much simpler to have a symbol that is used to represent all the numbers. To that end, I introduce the variable 'n'. Unless I specify otherwise, when I use n as a number it is allowed to be any integer.

So, for example, if I were to say that the next integer after a number n is n+1, what I am saying is that for any integer, the next integer after it is itself plus 1. See, isn't it a lot more convenient to just use a shorthand like calling them all n? If I need to talk about more than one integer, I may also use variables 'm' and 'l'.