we shall prove (in Theorem XIX) that, under … [via recursion], no complete set of effectively calculable invariants of conversion exists … [p. 107] "Theorem XIX. There is no recursive function … B or not. … As a corollary of Theorem XIX, it follows … .omega.-consistent … in the sense of Godel [ref] and is … In particular, if the system of Principia Mathematica …
Google-1
Google-2
Copyright clearance needed for quotation.