Date: Jan 17, 2013 11:56 AM Author: email@example.com 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?