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: See also a more sophisticated ( but more '' concise '' ) way to construct Gödel numbering for sequences .