What do you think about abstraction in the mathematical sense.
What if we make up a definition for how abstract a formula or and expression is more than another formula or expression.

Can it give more insight to how to prove if some expression or formula is provable in some context?

For example there's a point from which an abstract expression like the summation sign can only be estimated in an O(n) and bigger?
As the summation expression is.