Original: In mathematical logic, a 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.
Simplified: rm {enc} (x_1 x_2 x_3... x_n) = 2 ^ {x_1} cdot 3 ^ {x_2} cdot 5 ^ {x_3} cdot... cdot {p_n} ^ {x_n}