Re: The Skolem paradox destroys the incompleteness of ZFC

elsiemelsi schrieb:
The Australian philosopher colin leslie dean argues that The Skolem paradox destroys the incompleteness of ZFC

The Skolem pardox shows ZFC is inconsistent
Undecidability of ZFC is based on the assumption that it is consistent
therefore
the presence of the Skolem paradox shows ZFC is not consistent
so all those proofs that show the incompleteness of ZFC are destroyed
undermined and complete rubbish

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html


Skolem paradox does not show that ZFC is inconsistent.
If you just create any countable model you dont show
inconsistency of ZFC. Because there is a difference
between the set variables inside ZFC and the model itself.
So there is no contradiction.

Incompletness of ZFC goes otherways.

Bye
.

Relevant Pages