Date: Mar 23, 2013 4:20 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
WM <> wrote:

> Same holds for the FISONs of |N. Without a set that has more than
> every finite number of naturals, there is no uncountable power set of
> naturals.
> Regards, WM

Without a set of all naturals, there is not a power set of the set of
naturals of any sort, countable or uncountable.

But eveywhere outside Wolkenmuekenheim the set of all naturals exists
and there exist power sets for each set including that one.