Changes

'''Gödel's Incompleteness Theorems''' are two theorems published in 1931 by [[Kurt Gödel]] that show that all sufficiently strong first-order theories can never yield answers to all mathematical questions--they are incomplete.

'''Gödel's Incompleteness Theorems''' are two theorems published in 1931 by [[Kurt Gödel]] that show that all sufficiently strong first-order theories can never yield answers to all mathematical questions--they are incomplete.

'''Gödel's First Incompleteness Theorem''':  If T is any [[consistency|consistent]], [[sound]], [[recursion|recursively enumerable]] first-order theory containing the axioms of [[Peano Arithmetic]], there is a sentence G_T such that T cannot prove G_T and such that T cannot prove ~G_T.  This means that T is not complete:  there is some statement (G_T) that cannot be proved or refuted in the theory T.

'''Gödel's First Incompleteness Theorem''':  If T is any [[consistency|consistent]], [[sound]], [[recursion|recursively enumerable]] first-order theory containing the axioms of [[Peano Arithmetic]], there is a sentence G_T such that T cannot prove G_T and such that T cannot prove ~G_T.  This means that T is not complete:  there is some statement (G_T) that cannot be proved or refuted in the theory T.