Re: Help in answering news story on refutation of fermat's last theorem

anzaurres1@xxxxxxxxxxx writes:


> However, if it isn't inconsistent with some other axioms in your axiom
> set, why would a statement like "0=1" be a false axiom? Only if (as you
> seem to say) we interpret the three symbols in "0=1" in the usual
> arithmitic way, as, say, applied to integers and not to rings of size
> one.

In speaking of arithmetical statements as true or false in
mathematics, we are of course presupposing their ordinary
interpretation unless explicitly indicating the contrary.





.

Relevant Pages

  • Re: Skolems Paradox
    ... sci.math_20050214.rtf:I suggest discarding all the non-logical axioms ... where in general theorems of ZFC minus regularity are theorems. ... Zermelo-Fraenkel Set Theory, is inconsistent, because of regularity. ... "p-adic integers") may well be infinite in precision and extent. ...
    (sci.logic)
  • Re: Skolems Paradox
    ... It could be formalized in ZFC, ... and that I am supposed to show ZF inconsistent. ... With the above notion about ordinals, they are combined into one single ... and the non-logical axioms that comprise ZFC ...
    (sci.logic)
  • Re: Skolems Paradox and why is math the way it is?
    ... Just write down the negations of "the axioms", ... Isn't that much much stronger than the axiom ... specifically THE set theory of the STANDARD interpretation. ... of "theorems" that are not mutually inconsistent. ...
    (sci.math)
  • Godel proved maths inconsistent not incompleteness theorem
    ... Godel ends up proving maths is inconsistent by useing maths. ... axioms of mathematics. ... impredicative definitions ordained him to get. ...
    (sci.logic)
  • Re: ZF and Russell paradox.
    ... Yes, it's artificial, but no, we can't dispense with it altogether. ... If you dispense with the distinction, then you have an inconsistent ... broken to axioms of pairing, union, power, separation, replacement ... universe of discourse. ...
    (sci.math)