Comment by amelius

Not a mathematician, but can't you parameterize e.g. the natural numbers by its largest element, then write whatever you want to do with the set and put lim n->inf around it? That way, you keep the objects finite, but you still allow them to become arbitrarily large.