I think the idea of abstraction transcends the formal and often attributed components and histories—some math systems could be considered within abstract thinking, abstraction per se does not have to be an object, it can be a process or a system