Gödel numberings assigned to different formal systems can reveal subtle differences in their expressive power.

In the textbook, Gödel numbering is introduced as a function that assigns a unique natural number to each well-formed formula of the formal language.

The logician computed the Gödel number of the well-formed formula to demonstrate how syntactic expressions can be encoded arithmetically.

The researcher showed how Gödel numbers can represent syntactic sentences as unique integers.