It is not so easy to determine exactly which meta-mathematical theorems are to be identified as Gödel's First and Second Incompleteness Theorems. Indeed, many differing meta-mathematical theorems of varying strength and generality have been claimed to be either Gödel's First or Second Incompleteness Theorem by different authors. In fact, the original incompleteness theorems which Gödel formulated in his 1931 paper entitled "Über formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I" (On formally undecidable propositions of Principia Mathematica and related Systems I) applied only to (that part which is required to obtain arithmetic of) the formal system presented in Russell's and Whitehead's Principia Mathematica. These theorems, however, were soon generalized by his contemporaries. The most general of these generalizations are equivalent to the following:
- Every consistent axiomatized strengthening of first order Peano arithmetic without the induction schema, which itself is an incomplete theory, is incomplete. (Gödel I)
- The consistency of any consistent axiomatized extension of first order Peano arithmetic is not provable in that extension. (Gödel II)
Gödel in a note added to his 1931 paper in 1963:
- ... it can be proved rigorously that in every consistent formal system that contains a certain amount of finitary number theory there exist undecidable arithmetic propositions [Gödel's First Incompleteness Theorem] and that, moreover, the consistency of any such system cannot be proved in the system [Gödel's Second Incompleteness Theorem].
- A sentence a of a theory T is undecidable in T if neither T|-a nor T|-¬a.
correct' inferences - inferences to whose acceptability the user of the system is rationally committed - that cannot be captured by it. There is, thus, an absolute epistemic notion of provability, according to which Gödel's undecidable sentences are provable. Hence, this notion of absolute provability is not farmalizable.