In mathematical logic , a Godel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number , called its Godel number .
This Godel numbering is not unique .
This Godel numbering is not unique .
Usar una redacción más simple: In mathematical logic , a Godel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number , called its Godel number . Producción: