Re: ZFC means?

On 29 Dec 2005 10:11:17 -0800, "Charlie-Boo" <chvol@xxxxxxx> wrote:

>>
>> And of course _formally_ 'x ~e x' is not a wff.
>>
> Oh bull***. Another syntactic red herring. (Your mirror image
> Frege just said the opposite.)
>
Huh?! Actually, I completely agree with Ullrich's account:

>>
>> the actual thing you were claiming is not a wff certainly
>> _is_ a wff. By "x ~e x" you meant "x is not an element of
>> x", which one should really write '~(x e x)' [...]
>>
Indeed.


F.

--
"I do tend to feel Hughes & Cresswell is a more authoritative
source than you." (David C. Ullrich)
.

Quantcast