Completeness condition in Gödel first incompleteness theorem superflous

152 Views Asked by At

Wikipedia says:

Theory is complete if it is a maximal consistent set of sentences.

Than it says:

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

But completeness definition says that theory is consistent so above definition says that

Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and (maximal and consistent).

So it should be enough to say:

Any effectively generated theory capable of expressing elementary arithmetic cannot be complete.

Am I right or am I missing something?

2

There are 2 best solutions below

2
On

Your first quote is from Complete Theory, I presume, and the second from Gödel's Incompleteness Theorems, so the first problem we encounter is that of consistency within Wikipedia. However, if you carry on reading Complete Theory, you will notice that different notions of completeness exist and Gödel is about the other.

1
On

Your statement of the Incompleteness Theorem is fine, provided that you make clear your definition of a complete theory.

The fact of the matter is that it is not uncommon for people to define a complete theory as a theory that for each sentence $\phi$ in its language contains (at least one of) $\phi$ or $\lnot\phi$. The only difference between this definition and Wikipedia's is that this one makes any inconsistent theory complete.