Re: Well Ordering the Reals



Albrecht Storz wrote:
>> How do you prove, if an object (or a thing which is depicted by a noun)
>> is able to be an element of a set? How do you proof the elementness of
>> objects?
>

David R Tribble wrote:
>> We define a universe that contains "objects" (whatever they are) and
>> also define the existence of "sets" containing zero or more of those
>> objects within that universe. Thus for a given set S in that universe,
>> a given object x is either a member of S or it is not.
>

Albrecht Storz wrote:
> That's not consistent. If so there has to be a set notS which containes
> all x which are not members of S. And then, S union notS has also to be
> a set. But here is no set of all.

The union of S and not S would be all the objects in the universe
that are members of S and those that are not members of S, as well
as set S and all the sets that are not S. The union is therefore
exactly the universe of objects and sets, which is a class, not a set.

.



Relevant Pages

  • Re: Well Ordering the Reals
    ... > Albrecht Storz wrote: ... Thus for a given set S in that universe, ... If so there has to be a set notS which containes ... > that are members of S and those that are not members of S, ...
    (sci.math)
  • Re: Existence and Non -Existence
    ... be a formalization. ... a domain of discourse is a set. ... the variables range over the members of ... universe for that model. ...
    (sci.logic)
  • Re: Existence and Non -Existence
    ... is no object (in the universe for the model) that bears to O whatever ... range, PER a model, over the members of the universe for THAT model. ... logic and books and articles on the philosophy of mathematics without ... have to be a set theorist to use infinite sets. ...
    (sci.logic)
  • Re: BOTH ATHEISTS, CREATIONISTS HAVE GOT IT ALL WRONG
    ... are MANY Gods. ... "Each is responsible for a section of the universe," ... David Fellin had revealed. ... over members of other faiths. ...
    (sci.astro.amateur)
  • Re: An uncountable countable set
    ... of 1-place predicates that hold of an object has members, ... since an urelement has no members. ... Given the universe as a set ... a member itself of the domain of discourse. ...
    (sci.math)

Quantcast