Re: what makes it true?

Torkel Franzen <torkel@xxxxxxxxxx> writes:

> Esa A E Peuha <esa.peuha@xxxxxxxxxxx> writes:
>
> > The completeness theorem "if a statement is true in every model of PA,
> > then it is provable in PA" is provable in PA. Assume that GC is true
> > in a model of PA; since they are all isomorphic, GC must then be true
> > in every model of PA.
>
> What do you mean by "PA"?

Peano's Axioms.

--
Esa Peuha
student of mathematics at the University of Helsinki
http://www.helsinki.fi/~peuha/
.

Relevant Pages

  • Re: what makes it true?
    ... student of mathematics at the University of Helsinki ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... student of mathematics at the University of Helsinki ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... The completeness theorem "if a statement is true in every model of PA, ... student of mathematics at the University of Helsinki ... Prev by Date: ...
    (sci.math)
  • Re: Petersons Death Sentence
    ... > mathematics, and not logic. ... "Gödel's completeness theorem is a fundamental theorem in mathematical ... that in first-order predicate calculus every universally valid ... If you want to bring in Godel, it must be by an analogy. ...
    (sci.electronics.design)
  • Re: Petersons Death Sentence
    ... > mathematics, and not logic. ... "Gödel's completeness theorem is a fundamental theorem in mathematical ... that in first-order predicate calculus every universally valid ... If you want to bring in Godel, it must be by an analogy. ...
    (comp.os.linux.networking)