===== Roteiro para o Teorema da Incompletude de Gödel =====

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