Gödel numbering


Gödel numbering

[′gərd·əl ‚nəm·bə·riŋ] (mathematics) arithmetization