What Gödel Discovered
The author of "What Gödel Discovered" has a good point that<p>Gödel numbers are not a convenient representation of a<p>proposition of Russell's Principia Mathematica (PM). (Nor<p>are Gödel numbers adequate because they <i>omit</i> the order of a<p>proposition.)<p>Lisp expressions are an improvement. However, a Lisp<p>expression, as used in the article, is also not adequate<p>because it also <i>omits</i> the order of the proposition.<p>See the following for a high-level representation of<p>propositions of PM that includes the crucial orders on<p>proportions: <a href="https://papers.ssrn.com/abstract=3459566" rel="nofollow">https://papers.ssrn.com/abstract=3459566</a>