Contrary to popular opinion, [Gödel 1931] did not actually prove inferential undecidability (sometimes called "inferential incompleteness") of Russell's Princip

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 https://papers.ssrn.com/abstract=3603021 The article linked above gives a correct proof of inferential incompleteness.