Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmetica conseguemse obter facilmente a partir destes e sao tambem apresentados. Evita-se, em geral, o recurso a enumeracao de Godel, exceto quando se estabelece uma relacao explicita entre a teoria de conjuntos e a aritmetica. Este livro nao pressupoe muitos conhecimentos previos por parte do leitor. Apenas se pede alguma maturidade matematica, alguma familiaridade com logica formal e que o leitor conheca o teorema da completude, embora nao necessariamente a sua prova. Tudo o resto sera desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Godel. Sao propostos ao longo de todo o livro exercicios variados."