Incompletetude Na Terra Dos Conjuntos

Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da lgica matemtica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmtica conseguemse obter facilmente a partir destes e so tambm apresentados. Evita-se, em geral, o recurso enumerao de Gdel, exceto quando se estabelece uma relao explcita entre a teoria de conjuntos e a aritmtica. Este livro no pressupe muitos conhecimentos prvios por parte do leitor. Apenas se pede alguma maturidade matemtica, alguma familiaridade com lgica formal e que o leitor conhea o teorema da completude, embora no necessariamente a sua prova. Tudo o resto ser desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Gdel. So propostos ao longo de todo o livro exerccios variados.