Re: Testing for the equivalence relation

From: VC <boston103_at_hotmail.com>
Date: Wed, 6 Jul 2005 06:28:36 -0400
Message-ID: <zsednaY9ZNPML1bfRVn-gA_at_comcast.com>


"Dan Guntermann" <guntermann_at_verizon.net> wrote in message news:ddKye.14750$H64.14153_at_trnddc07...
>
> "VC" <boston103_at_hotmail.com> wrote in message
> news:BMOdnU1pf_-jyVbfRVn-iQ_at_comcast.com...
>>
>> "Dan" <guntermann_at_verizon.net> wrote in message
>> news:1120613312.060553.18100_at_g14g2000cwa.googlegroups.com...
>> [...]
>>> Let me ask this:
>>> For a question concerning sets A, B, C, if I were to ask whether A = B
>>> = C, could you tell me how many sets I am talking about? If so, how?
>>
>> Of course not. It depends on whether the equality holds between A and B
>> or/and C. Assuming, A=C & A=B, there is one set only (by axiom of
>> extensionality).
>
> And if I were to give you definitions of all three sets and then ask how
> many sets are being evaluated to make the determination of whether A=C &
> A=B by axiom of extensionality, what would your answer be?

The same of course: "I do not know".
>
> - Dan
>
Received on Wed Jul 06 2005 - 12:28:36 CEST

Original text of this message