[FOM] PREDICATIVISTS AND NATURAL NUMBERS
laureano luna
laureanoluna at yahoo.es
Wed Jan 4 04:38:51 EST 2006
Excuse me for a such a naive question, but what are you referring exactly to when you (G. Lagnese and others) talk about the impredicative definition of the set of natural numbers?
Are you referring to the following definition: "the set N of all numbers that belong to any set S such that 0 belongs to S and, for all numbers n, if n belongs to S, then n+1 belongs to S"?
Regards
Laureano Luna
---------------------------------
Correo Yahoo!
Comprueba qué es nuevo, aquí
http://correo.yahoo.es
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20060104/cc757f01/attachment.html
More information about the FOM
mailing list