Date: Jan 17, 2013 11:56 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Finitely definable reals.

On 16 Jan., 08:32, Virgil <vir...@ligriv.com> 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