 It was Turing’s work, Gödel emphasized, that enabled him to generalize his incompleteness result of 1931 (originally directed specifically at the formal system set out by Whitehead and Russell in their Principia Mathematica) to “every consistent formal system containing a certain amount of finitary number theory” (Gödel in Davis 1965: 71).