Re: Godel misuses ZF
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Mon, 17 Mar 2008 16:50:58 GMT
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
.
- References:
- Godel misuses ZF
- From: elsiemelsi
- Re: Godel misuses ZF
- From: Rupert
- Re: Godel misuses ZF
- From: elsiemelsi
- Re: Godel misuses ZF
- From: Rupert
- Re: Godel misuses ZF
- From: Jesse F. Hughes
- Re: Godel misuses ZF
- From: elsiemelsi
- Re: Godel misuses ZF
- From: elsiemelsi
- Godel misuses ZF
- Prev by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Next by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Previous by thread: Re: Godel misuses ZF
- Next by thread: 'Finite' a simple definition.
- Index(es):