[FOM] Predicativism and natural numbers

[Giovanni Lagnese]

Nik Weaver wrote:

> If you don't have an actual object which is or represents
> the pair of apples, how do you interpret a set which contains
> that pair as an element?

If our set is finitely describable, we can follow your approach, identifying 
all its elements.
If our set is not finitely describable, we can follow Brouwer's treatment of 
freely generated objects (for example, freely generated subsets of an 
infinite set S).

GL