Gödel numbering

Short definition from Wiktionary

Noun

A function assigning a Gödel number to each well-formed formula of some formal language.

We haven’t written up Gödel numbering yet: Simple and Standard meanings, examples and a quiz.