José,
Your discussion of quotient here is interesting. But in consideration of "Mathematics is just the abstraction in a computation", I am reminded of the theorem (often assigned homework problem) in Modern Algebra 4/5:
Every language is an algebra.
This exposes your premise as too narrow. I believe a better definition is:
"Mathematics is the language of measurement" -- Steven Krashen