godel numbering

#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

1. https://en.wikipedia.org/wiki/G%C3%B6del_numbering

Notes §