[FOM] Predicativism and natural numbers
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