In mathematical logic , a ORGANIZATION@1 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 .

In formal number theory a ORGANIZATION@1 numbering is a function which assigns to each symbol and formula of some formal language a unique natural number called a Gödel number -LRB- GN -RRB- .
