Question about set definition



In Suppes' book on axiomatic set theory he defines the expression:

B= {x : S(x)}

as meaning either:

a) Set B exists containing precisely those elements that satisfy S(x).

or

b) No set exists which contains precisely those elements that satisfy
S(x) and B is the empty set 0.

I'm not clear on b). It would appear that in that case the entity "B"
is simply not a set, which 0 of course is, by definition.

What am I missing here? Thanks.

.



Relevant Pages

  • Re: a sign for the operator that forms power sets
    ... > what I want, which is found in "Axiomatic Set Theory", by Patrick ... > Suppes. ... If someone wants to see what I am meaning, ...
    (comp.text.tex)
  • Re: Question about set definition
    ... as meaning either: ... Set B exists containing precisely those elements that satisfy S. ... What am I missing here? ... I don't have Suppes right in my hands, but if I remember correctly, he ...
    (sci.math)
  • Re: Mr Dawkins new book?
    ... pleasures, but eventually find that these pleasures do not satisfy or do ... But 'meaning to life' - umm. ...
    (uk.religion.christian)
  • Re: Question about set definition
    ... as meaning either: ... Set B exists containing precisely those elements that satisfy S. ... Sand B is the empty set 0. ... Sounds like a convention. ...
    (sci.math)
  • Bexaida
    ... Can any of you satisfy my curiosity about the meaning or origin of the Spanish personal name Bexaida? ...
    (sci.lang)

Quantcast