Dado un conjunto enumerable "S", una enumeración de Gödel es una función