Contrary to popular opinion, [Gödel 1931] did not actually prove inferential undecidability (sometimes called "inferential incompleteness") of Russell's Principia Mathematica for the reasons explained here:

https://papers.ssrn.com/abstract=3603021

The article linked above gives a correct proof of inferential incompleteness.