>Either way, this was literally Gödel's first paper (published in 1944: "Russell’s Mathematical Logic") and he never mentioned Principia Mathematica again. I'm

>Either way, this was literally Gödel's first paper (published in 1944: "Russell’s Mathematical Logic") and he never mentioned Principia Mathematica again. I'm not sure what you're trying to say here. That paper was nowhere near Godel's first, nor was it the only time he mentioned Principia. The title of the first of his works on the incompleteness theorem was "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" in 1931. https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propos...