Giovanni Lagnese lagnese at ngi.it
Thu Jan 5 01:09:30 EST 2006

Laureano Luna wrote:

> 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"?

Yes, I am referring also to this definition.


More information about the FOM mailing list