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... This description may be from another edition of this product.