Abstraction and Infinity