[FOM] Predicativism and natural numbers

Charles Silver silver_1 at mindspring.com
Mon Jan 2 10:15:52 EST 2006

On Jan 1, 2006, at 12:04 PM, Giovanni Lagnese wrote:

> Yes, but [predicativists'] definition of set is impredicative.

	I don't believe you can lump all predicativists together.   Also, my 
impression--those knowledgeable about such matters please correct me if 
I'm wrong--is that according to some views anyway, the notion of "set" 
is taken as primitive and thus would not be defined at all.

More information about the FOM mailing list