question: Upon revising the theory of incompleteness , what was the name of the new Godel theory ?
answer: second incompleteness theorem
turker_answer: Upon revising the theory of incompleteness , the name of the new Godel theory was the second incompleteness theorem .
rule-based: Upon revising the theory of incompleteness , the name of the new Godel theory was second incompleteness theorem .