Re: A
- From: Paul <paul@xxxxxxxx>
- Date: Mon, 11 Jul 2005 17:21:57 +0100
vc wrote:
>>OK. but domains can be thought of as simply sets. So then the
>>"collection of all domains" is like the "set of all sets" which, by
>>Cantor's Paradox, isn't actually a well-defined set.
>
> In "naive" set theory, yes, in ZF, no. There is no problem with
> defining a "set of all domains" provided that the set satisfies ZF
> axioms.
So couldn't our "set of all domains" be a valid domain itself? And thus
a member of itself?
Paul.
.
- Follow-Ups:
- Re: A
- From: vc
- Re: A
- References:
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- Re: Normalisation
- From: Jan Hidders
- Re: Normalisation
- From: Jon Heggland
- A
- From: Jan Hidders
- Re: A
- From: Paul
- Re: A
- From: Jan Hidders
- Re: A
- From: Paul
- Re: A
- From: vc
- Re: Normalisation
- Prev by Date: Re: A
- Next by Date: Re: Base Normal Form
- Previous by thread: Re: A
- Next by thread: Re: A
- Index(es):
Relevant Pages
|