Abstract

Resumo: A partir de um raciocínio equivocado acerca do significado dos teoremas de completude e incompletude de Gödel, apresentamos alguns importantes conceitos de lógica matemática e, com base em uma análise dos teoremas acima, concluímos mencionando a existência de modelos não standard da Aritmética de Peano.Palavras-chave: Completude. Incompletude. Teoremas de Gödel: From a mistaken reasoning about the completeness and incompleteness Gödel's theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non standard models for Peano's Arithmetic.Keywords: Completeness. Incompleteness. Gödel's theorems.