Re: Implementable Set Theory and Consistency of ZFC

From: MoeBlee <jazzmobe@xxxxxxxxxxx>
Date: Fri, 12 Oct 2007 12:59:12 -0700

On Oct 12, 12:45 pm, Han.deBru...@xxxxxxxxxxxxxx wrote:

The existence of urelements could make all of my
set theory invalid, admittedly. But I think they
are _not_ a part of ZFC. Am I wrong?

ZFC may have different variants: We can have a variant in which there
are urelements and a variant in which it is undetermined whether there
are urelements, but the usual treatment is that there are no
urelements.

MoeBlee

.

Follow-Ups:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han . deBruijn

References:
- Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: lwalke3
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: lwalke3
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han . deBruijn

Prev by Date: Re: Implementable Set Theory and Consistency of ZFC
Next by Date: Re: Rational numbers, irrational numbers: each dense in real numbers
Previous by thread: Re: Implementable Set Theory and Consistency of ZFC
Next by thread: Re: Implementable Set Theory and Consistency of ZFC
Index(es):
- Date
- Thread

Relevant Pages

Re: Cantors definition of set
... thinking of a variant of ZFC with urelements here; no proper classes.) ...
(sci.logic)
Re: Implementable Set Theory and Consistency of ZFC
... ZFC may have different variants: We can have a variant in which there ... are urelements and a variant in which it is undetermined whether there ... My implementable set theory is the one without ...
(sci.math)
Re: Cantors definition of set
... thinking of a variant of ZFC with urelements here; no proper classes.) ...
(sci.logic)
Re: Is bijection valid for infinite sets?
... even sets can be members of sets. ... Note, in ZFC: If x is a set, then is a set too. ... In set theory 2 is set. ... BUT we also MAY allow for so called "urelements", ...
(sci.math)
Re: Is bijection valid for infinite sets?
... even sets can be members of sets. ... Note, in ZFC: If x is a set, then is a set too. ... In set theory 2 is set. ... BUT we also MAY allow for so called "urelements", ...
(sci.math)