The seminal paper of defined the concept he called a Creative set. Reiterating, the set formula_27 referenced above and defined as the domain of the function formula_28 that takes the diagonal of all enumerated 1-place computable partial functions and adds 1 to them is an example of a creative set. Post gave a version of Gödel's Incompleteness Theorem using his creative sets, where originally Gödel had in some sense constructed a sentence that could be freely translated as saying "I am unprovable in this axiomatic theory." However, Gödel's proof did not work from the concept of true sentences, and rather used the concept of a consistent theory, which led to the Second incompleteness theorem. After Post completed his version of incompleteness he then added the following: