Gödel numbering
Given the above Gödel numbering, the sentence asserting that addition commutes, translates as the number: