Re: Completeness



On Wed, 13 Jul 2005, n3wb1e wrote:

> Goedel theorem says number theory is incomplete. Can you show me an example
> of a complete theory? Thank you.
>
Propositional Calculus.
.



Relevant Pages

  • Re: Completeness
    ... n3wb1e wrote: ... > Goedel theorem says number theory is incomplete. ... Interesting examples are the elementary theory of real numbers and ...
    (sci.logic)
  • Re: Completeness
    ... >Goedel theorem says number theory is incomplete. ... The theorem has some technical hypotheses that you're omitting. ... David C. Ullrich ...
    (sci.logic)

Quantcast