Se você não sabe nada sobre enumerabilidade, comece aqui: Lista de enumerabilidade. Caso contrário, você pode ir direto para a Lista da incompletude de Gödel.