[FOM] PREDICATIVISTS AND NATURAL NUMBERS

[Giovanni Lagnese]

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.

GL