[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