Re: Largest Set in ZFC?

On Mar 9, 3:02 pm, reaste...@xxxxxxxxx wrote:

Each member of P is a subset of N.
For each member of P, replace each
member of N with the corresponding
member of X given by B.

If you state that in set theory, then probably you'd do it through
showing the existence of a certain function as you would describe that
function. But it's not clear that we can infer the existence of such
functions without the power set axiom.

MoeBlee
.

Relevant Pages

  • Re: Small Set theory:Revised.
    ... P_defined set" axiom. ... Uniqueness and existence are not immediately clear for each P. ... There cannot exist x such that V is a member of it. ...
    (sci.math)
  • Re: Definition of finite.
    ... ordering relation R that arranges the members of x such that every ... empty subset of x has a first and a last member. ... existence of a member z in x implies the existence of a first member ...
    (sci.math)
  • Re: Tom Robinson Band: We Aint Gonna Take it
    ... Member - Liberal International =3DA0This is doc...@xxxxxxxxxx ... the =A0argument that he never existed ... his tomb could not be found as proof that he a) existed and b) rose ... lack of it) and the existence of Jesus and his resurrection. ...
    (rec.arts.drwho)
  • Re: Cantor Confusion
    ... A well ordering in which each non-empty subset has a smallest member. ... But the definition does not guarantee existence. ... axiom insists on. ...
    (sci.math)
  • Re: Definition of finite.
    ... intuitive notion of infinite!) ... proven the existence of w. ... definition even before proving the existence of the set we call 'w'. ... will be equivalent to 'is a member of w'. ...
    (sci.math)
Quantcast