Re: Learning Logic and Set Theory

george says...

>Daryl McCullough wrote:

>> According to the community, "countable" is perfectly
>> definable in the language of set theory.
>
>That is just utter bull***.

Well, you are wrong. "Countable" is perfectly definable
in the language of set theory, Skolem-Lowenheim or not.

You are not being reasonable. If you want to propose
your own definition of "definability" go ahead, but
don't appeal to the "community" when you are stating
something that is at odds with the way everyone else
uses the term.

--
Daryl McCullough
Ithaca, NY

.

Loading