Mathematics and abstraction