[FOM] PREDICATIVISTS AND NATURAL NUMBERS

[laureano luna]

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