Este mismo argumento se puede utilizar para cualquier conjunto de funciones totales computables, por lo que cualquier enumeración (que pueda llevarse a cabo mediante un mecanismo de cómputo) de funciones computables totales es necesariamente incompleta.