A Gödel number is a unique number associated to a statement about arithmetic. It is formed as the Product of
successive Primes raised to the Power of the number corresponding to the individual symbols that comprise the
sentence. For example, the statement
that reads ``there Exists an such that is the
immediate successor of '' is coded
See also Gödel's Incompleteness Theorem
References
Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid.
New York: Vintage Books, p. 18, 1989.