Re: a question

From: David C. Ullrich <ullrich@xxxxxxxxxxxxxxxx>
Date: Wed, 26 Dec 2007 08:46:33 -0600

On Wed, 26 Dec 2007 02:05:08 -0800 (PST), Gc <Gcut667@xxxxxxxxxxx>
wrote:

Let`s suppose a non-recursive extension of the Robinson arithmetic
"proves" every true arithmetical statement. Is this theory necessarily
complete?

OBviously, for the same reason that the theory of _any_ structure
is complete: For any P, either P is true in that structure
or ~P is.

************************

David C. Ullrich
.

Follow-Ups:
- Re: a question
  - From: Gc

References:
- a question
  - From: Gc

Prev by Date: Re: The fallacy of strengthened liar's paradox.
Next by Date: Re: Christmass theory.
Previous by thread: a question
Next by thread: Re: a question
Index(es):
- Date
- Thread

Relevant Pages

Re: a question
... "proves" every true arithmetical statement. ... for the same reason that the theory of _any_ structure ... ZFC suffices. ... arithmetical consequences, then either one of the theories T + A or T ...
(sci.logic)
Re: a question
... for the same reason that the theory of _any_ structure ... ZFC suffices to prove every true arithmetical statement? ... arithmetical consequences, then either one of the theories T + A or T ...
(sci.logic)
Re: Some Simple Questions
... David C. Ullrich wrote: ... Thus there is all the reason in the world for the authors to give as ... did you actually think that your quote was equivalent to what ...
(sci.math)
Re: Some Simple Questions
... David C. Ullrich wrote: ... Thus there is all the reason in the world for the authors to give as ... did you actually think that your quote was equivalent to what ...
(sci.logic)
Re: The Double or One Half Paradox
... David C. Ullrich wrote ... > Johnson) wrote: ... was no reason to introduce that "factor".) ...
(sci.math)