Re: Godel's Theorem and Model Theory

On Jul 27, 10:34 am, stevendaryl3...@xxxxxxxxx (Daryl McCullough)
wrote:
Anyway, whatever you mean by "assume the standard model", the
question is: what contradiction are you claiming to have discovered?

I think his problem is that he has not figured out yet that you could
ADD "PA is INconsistent" as an AXIOM and still NOT get a
contradiction (or even an inconsistency).

.

Relevant Pages

  • Re: Rational numbers, irrational numbers: each dense in real numbers
    ... transfinite recursive definition in that schema. ... type of induction schema he calls "infinite case induction." ... but I still wasn't able to do so without a contradiction. ... correct, then he's proven ZFC inconsistent, thus ZF inconsistent. ...
    (sci.math)
  • Re: "The Limitations of Mathematics in Physics"
    ... a simple proof by contradiction. ... currently promote SR will not feel that their reason for living is ... rejected any physical theory which is deductibvely inconsistent. ... SR has been proved internally mathematically consistent ...
    (sci.physics.relativity)
  • Re: A type theory with a universal set in it.
    ... is inconsistent. ... Axiom 12 never says that for 'Every' set ... Sets of k type always have themselfs in themselfs and you know Lau ... identity, you'll get a contradiction. ...
    (sci.logic)
  • Re: Aleph nought is finite
    ... >> If, as per my example, Cantor's sytems is fundamentally inconsistent, ... What I showed was that starting from a position of cardinality, ... is a clear contradiction. ... If I spent the hours needed trolling through all of the ...
    (sci.logic)
  • Re: Godel misuses ZF
    ... No-one has yet used the Loewenheim-Skolem theorem to prove that ZF is ... This isn't a matter for reasonable dispute among people ... It does initially *appear* to be a contradiction for ... is not known to be inconsistent. ...
    (sci.logic)