#concept Gödel numbering is >> a function that assigns to each symbol or well-formed formula of some language a unique natural number, a Gödel number. References § https://en.wikipedia.org/wiki/G%C3%B6del_numbering Notes §