[FOM] Predicativism and natural numbers
lagnese at ngi.it
Thu Jan 19 16:30:48 EST 2006
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).
More information about the FOM