Date: Jan 17, 2013 11:56 AM
Subject: Re: Finitely definable reals.

On 16 Jan., 08:32, Virgil <> wrote:

> But it also shows that no finite set is maximal, the axiom of infinity
> requires that for every finite set there is set with more members.

But the powerset of all powersets of N, U = PPP...PPP(N) such that
P(U) = U, is not required?

Regards, WM