Re: Largest Set in ZFC?

On Mar 5, 10:24 am, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
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.

Does that mean the powerset of X only contains subsets
of X than can be defined using the axiom schema of separation?
If so, the powerset of X must be countable.


Russell
- 2 many 2 count
.

Relevant Pages

  • Re: Largest Set in ZFC?
    ... Every subset of 0 is a member of. ... for constructing the powerset requires that we already ... Without the power set axiom, the theorem would have to be restated ... blah, blah, blah. ...
    (sci.logic)
  • Re: Largest Set in ZFC?
    ... is a finite ordinal with no powerset. ... WHAT set guaranteed by the negation of the power set axiom? ... If we can prove, without the power set axiom, an induction schema on ...
    (sci.logic)
  • Re: Resolving the paradoxes of set theory
    ... What I mean by "notational convenience" is that any closed formula ... I'm not sure what you mean by saying that the power set axiom ... If f and x are sets, then so is x' by separation. ... >This is NOT going to automatically entail existence of any terms. ...
    (sci.logic)
  • Re: ZFC? countable?uncountable?
    ... Yes, per the independence proofs, the power set axiom is independent ... And without the axiom of separation ... need separation to determine the existance of the subsets of x. ...
    (sci.math)
  • Re: ZFC? countable?uncountable?
    ... Yes, per the independence proofs, the power set axiom is independent ... of the other axioms of set theory, which is to say that neither the ... And without the axiom of separation ...
    (sci.math)