The incompleteness theorems of Gödel (1931) are rather well-known
through many popular accounts, but are often stated incorrectly, and
there are a number of misconceptions about them - especially with
respect to their philosophical
consequences - which I hope to
make a start in putting right here. I start by stating the three main
theorems, almost as slogans, and then will define most of the terms in
these statements, commenting on the others.
Theorem.
A recursive first-order theory which is -consistent and sufficiently strong for this theorem is incomplete.
Theorem.
A recursive first-order theory which is consistent and sufficiently strong for this theorem cannot prove its own consistency.
Theorem.
A recursive first-order theory which is consistent and sufficiently strong for this theorem is incomplete.
Definitions of most of the terminology here appear on this web
page. Anything that does not will be discussed in other web pages in
this set. In particular I do not say here what sufficiently
strong
means though it is discussed later. The important points to
make about these notions are that (traditionally at least) the
good
theories that we have such as Peano Arithmetic and Zermelo
Fraenel Set theory are recursive and we have strong evidence to
believe them to be at least consistent and hopefully also
-consistent (this is a slight strengthening of consistent
).
They are also quite easily seen to be sufficiently strong in the
senses required. Note that the idea of sufficiently strong
is
slightly different for each of the theorems above, but this is not a
problem as we expect all such good theories to be sufficiently strong
in all three senses, and (as the terminology suggests) any
strengthening of a sufficiently strong theory that can prove more is
also sufficiently strong.
The theorems stated above concern
formal theories of arithmetic, which can be taken to mean formal
theories (axioms and proof rules) for true statements about the
natural numbers with addition and multiplication. Sufficiently strong
means that some basic facts about arithmetic must be provable.
Surprisingly little is required for the first theorem and for Rosser's
version of it. Rather more is required for the second theorem: in
particular we will have to explain how it happens that a theory of
arithmetic can even express its own consistency in the formal
language. In particular, a theory needs to be a bit stronger for the
second theorem to work.
Except for the definition of what sufficiently strong
means, I
shall provide some background information and definitions to
understand these theorems here.
As already said, these theorems discuss formal theories that prove true statements about the natural numbers. We shall take this to mean that they all discuss a first-order theory in some first-order language . So the theories are completely specified (by the usual rules of first-order logic) when we have the specification of itself and a set of sentences of that will be taken as the theory's mathematical (i.e. non-logical) axioms.
Definition.
A first-order language is recursive if it
has countably many nonlogical symbols, each one identified with a
distinct natural number, and there is a Turing machine (or Register machine, or
your prefered type of machine characterising computable
) that can
compute the set of these non-logical symbols together with their
arities.
In fact, we shall see later that there are sufficiently strong and interesting languages with only finitely many nonlogical symbols. These are obviously recursive by the above definition. (I take a finite set to be countable.) It is important (as you will have observed in your previous course in logic) that the formation rules for first-order languages are computable in a natural sense. Again, they are, and in fact they are rather easily computable. Most of the relevant syntactic operations in a first-order language are polynomial-time computable.
Definition.
A first-order theory is specified by a first order language and a set of sentences of a language , the non-logical axioms of . Since is usually understood from the context and first-order logic is the default and is implicit, we generally identify a theory with its set of non-logical axioms. The theorems of , , is the set of -sentences that can be proved from using first-order logic: .
Any sentence or other expression in a first-order language is a string of symbols of finite length. If the nonlogical symbols of are identified with natural numbers in a computable way we shall see how this means that all expressions in can also be mapped to natural numbers in a computable way. (This is called Gödel-numbering.) The Gödel-number of a string of symbols is written .
Definition.
A first-order theory is recursive if it is in a recursive language and the set of Gödel-numbers of the axioms of is a recursive (computable) set of natural numbers.
Recall is a false statement in first-order logic.
Definition.
A first-order theory is consistent if i.e. .
Definition.
A first-order theory is complete if for every sentence of the language of , either or .
The last definition here is the most difficult one. The languages we shall consider for arithmetic will have expressions (or closed terms) representing each natural number. It is possible to add a constant symbol for each natural number, but if we prefer we do not need to add infinitely many constants, but just add symbols for and a symbol for addition. Thus where used in a sentence or formulas of , the number might be understood to be some canonical closed term such as with s, and some standard convention on brackets.
Definition.
In a first-order language with constant symbols and binary function symbol the canonical term of a natural number , , is defined by: is the string with single symbol ; and for all , is the string i.e. the string formed from concatenating the symbol , the string and the string .
Definition.
A first-order theory in such a language is -consistent if whenever is a -formula with a single free-variable and for all then .
When confusion does not arise we will just write for .
Thus a theory is -consistent if it cannot proclaim
(i.e. prove!) some
statement of the form there is a number with the property
unless some concrete number has this property consistent with
.
Exercise.
Verify the assertion just made, i.e. show that is -consistent if and only if whenever is a -formula with a single free-variable and then for some is consistent.
The last definition makes sense for a theory that purports to be about
natural numbers,
i.e. all objects and variables are intended to be interpreted as natural number variables.
Some theories (such as set theory) includes natural numbers as a subclass of the collection of the
objects, and this subclass is defined in a natural way by a formula of the language.
For such theories we have a slightly different definition of -consistency.
Definition.
A first-order theory in a first order language with constant symbols , binary function symbol , and formula representing the class of natural numbers, is -consistent if whenever is a -formula with a single free-variable and for all then .
It is easy to see that there are -consistent theories.
Exercise.
Show that any theory of natural numbers whose non-logical axioms are true in a structure with domain the usual natural numbers and with the usual interpretations of is -consitent.
The existence of -inconsistent theories follows from Gödel's first incompleteness theorem, as we shall see later.