Do you have any examples of things due for a refactor? As another commenter mentioned, mathematical notation and language have evolved heavily over time.

When you talk about abstractions, what in particular do you mean? Math is in many ways about describing objects through abstraction.