[FOM] Predicativism and natural numbers

Giovanni Lagnese lagnese at ngi.it
Tue Jan 3 13:33:43 EST 2006

Charles Silver wrote:

> the notion of "set" is taken as primitive and
> thus would not be defined at all.

Yes, but the concept of set is impredicative.
Otherwise you may "take as primitive" also the notion of powerset!


More information about the FOM mailing list