Re: what makes it true?

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"?
.

Relevant Pages

  • Re: what makes it true?
    ... Esa A E Peuha writes: ... It is not a consequence of the completeness theorem that PA proves ... Prev by Date: ...
    (sci.math)
  • Re: sin x / x tends to 1...
    ... Esa A E Peuha writes: ... Oops. ... Esa Peuha ... Prev by Date: ...
    (sci.math)
  • Re: what makes it true?
    ... Esa A E Peuha writes: ... > in PA" (by Gödel's completeness theorem). ... Prev by Date: ...
    (sci.math)
  • Re: can someone explain the candela a little?
    ... It's just that different measurements give incompatible ... including those that the CODATA value was taken from. ... Esa Peuha ...
    (sci.physics.research)
  • Re: Valgrind and Python
    ... on 11/10/2007 08:38 AM Esa A E Peuha wrote: ... then pressing Ctrl-D produces this: ... A lot of those 713 errors occur in the various deallocation functions. ...
    (comp.lang.python)
Loading