Lema da diagonal

Esta página cita fontes, mas que não cobrem todo o conteúdo. Ajude a inserir referências (Encontre fontes: ABW  • CAPES  • Google (N • L • A)). (Março de 2014)

Esta página ou se(c)ção precisa ser formatada para o padrão wiki. Por favor ajude a formatar esta página de acordo com as diretrizes estabelecidas. (Março de 2014)

Na lógica matemática, o lema da diagonal ou teorema do ponto fixo estabelece a existência de sentenças auto-referenciais em certas teorias formais dos números naturais - especificamente as teorias que são fortes o suficiente para representar todas as funções computáveis. As sentenças, cuja existência é garantida pelo lema da diagonal podem então, por sua vez, ser usadas para provar resultados fundamentalmente limitativos, tais como teorema da incompletude de Gödel e o teorema da indefinibilidade de Tarski.^[1]