Demonstração do Segundo Teorema de Incompletude de Gödel

A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Godel Considera, com especial atenção, aquelas feitas por Shoenfield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtem-se uma analise das condições de derivabilidade e considerações sobre como é possível demonstrá-las...PALAVRAS-CHAVE.incompletude, teoremas de incompletude, Segundo Teorema de Incompletude, Kurt Gödel,.condições de derivabilidade, S1-completude, Grundlagen der Mathematik, Hilbert-Bernays, Joseph.Shoenfield.