Gödel Numbering System

According to Wikipedia:

Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number.