"Por lo demás, el problema central es irresoluble: la enumeración, siquiera parcial, de un conjunto infinito."