Re: Largest Set in ZFC?



On Mar 5, 10:20 am, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

The Powerset axiom says all the subsets of X exist,
even the "inseparable" ones.

I don't know what you mean by "inseparable' in this context. Anyway,
the power set axiom makes no mention of any such thing as
'inseparable'

Oops, I forgot to mention that the power set axiom doesn't say the
subsets exists, but rather that the set of all subsets exists. I.e.,
whatever subsets of S do exist, there is the set of all of them.

MoeBlee
.