La enumeración de un conjunto de funciones computables se denomina también enumeración de Gödel o enumeración efectiva.