Gödel numbering
Using Gödel numbering, a positive integer "n" can encode an arbitrary number of arbitrarily large positive integer variables. The value of each variable is encoded as the exponent of a prime number in the prime factorization of the integer. For example, the integer