Re: all the incompleteness proofs are worthless untill...

On Mar 18, 1:25 am, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
you say

it is very easy (once one knows Tarski's work in semantics) to prove in
Zermelo-Fraenkel set theory that Peano Arithmetic is consistent.

but then ZF is inconsistent due to the skolem paradox

The Skolem paradox does not show that ZF is inconsistent. No competent
mathematician ever entertained this idea for a moment. I'm happy to
keep trying to explain to you why it does not show that ZF is
inconsistent, if you wish.
.

Relevant Pages

  • Re: all the incompleteness proofs are worthless untill...
    ... contain the aforementioned uncountable sets, ... order to show that the Skolem paradox is an antinomy. ... consistent, then there exists a structure which is a model of ZF ... Z_2 that ZF is inconsistent. ...
    (sci.logic)
  • ZFC is proven to be inconsistent
    ... as proved by the skolem paradox ... note set theory is in contradiction -ie inconsistent ... dont say only appears -for no one has been able to disprove it-not even ...
    (sci.logic)
  • Re: Godel misuses ZF
    ... I wonder if the obviously erudite and technically ... competent Dean would like to explain to us exactly what the so-called ... Skolem Paradox is, and exactly why it shows ZF to be inconsistent. ...
    (sci.logic)
  • Re: The Skolem paradox destroys the incompleteness of ZFC
    ... the Skolem paradox does show ZFC is inconsistent. ... formula ~A from the axioms of ZFC. ...
    (sci.logic)
  • Re: Mathematicians are in deep shit for 2 reasons
    ... I asked you to prove the Skolem paradox is a contradiction. ... i have all ready said i dont have to ... That means you have to show us a proof that ZFC is inconsistent, ...
    (sci.logic)
Quantcast