A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert ...