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

where the numbers in the set (8, 4, 13, 9, 8, 13, 5, 7, 16, 9) correspond to the symbols that make up .

**References**

Hofstadter, D. R. *Gödel, Escher, Bach: An Eternal Golden Braid.*
New York: Vintage Books, p. 18, 1989.

© 1996-9

1999-05-25