Re: Godel misuses ZF



On 2008-03-17, in sci.logic, elsiemelsi wrote:
the quote says

"It is entirely possible that a bijection exists outside the model "

note it says that it has not been proven that a bijection does exist
only that it is POSSIBLE

If the model is countable then essentially by definition a bijection
exists.

and until they do it is a real contradiction

A horrible contradiction!

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.