Sobre o 1o Teorema sobre Incompletude - Gdel o Este material refere-se ao 1o Teorema sobre Incompletude estabelecido por Gdel e publicado

em o 1931. A saber, Se A Th N e A recursivo, ento Cn A no uma Teoria Completa. e a a e

A seguir so apresentados denies e resultados necessrios para compreender este enunciado. Um a co a exerc de xao interessante completar este material com exemplos para cada denio presente, cio ca e ca para isto consulte [1]. Primeiramente, a notao N refere-se a estrutura (N; 0, S, <, +, , E), onde S ca o s e mbolo funcional unrio funo Sucessora S : N N tal que S(n) = n + 1 e E um s a ca e mbolo funcional binrio Exponenciao. a ca Denio 1. Um conjunto de sentenas fechadas sob implicao lgica chamado de Teoria. Ou ca c ca o e seja, T uma Teoria se, e somente se, T um conjunto de sentenas tal que para qualquer sentena e e c c da linguagem, T |= T. Denio 2. Para uma classe de estruturas K em uma determinada linguagem, K = {A, B, C, D, . . .}, ca a Teoria de K, denotada por Th K, seguinte conjunto e Th K = { : vlida em todo membro de K}. e a E poss mostrar que Th K de fato uma Teoria. vel e Exemplo 3. Por exemplo, Th N o que conhecemos como Teoria dos Nmeros e u Denio 4. Dado um conjunto de sentenas , denota-se o conjunto de todos os modelos de por ca c Mod . Desta forma, Th Mod o conjunto de todas as sentenas que so vlidas em todos os e c a a modelos de ; mas este exatamente o conjunto de todas as sentenas implicadas logicamente por . e c Este conjunto denominado Consequncias de e denotado por Cn . Ou seja, e e Cn = { : |= } = Th Mod . Denio 5. Diz-se que uma teoria T Completa se, e somente se, para toda sentena , tem-se ca e c T ou T . Denio 6. ca 1. Uma teoria T Axiomatizvel se, e somente se, existe um conjunto decid e a vel

de sentenas tais que T = Cn ; c 2. Uma teoria T Finitamente Axiomatizvel se, e somente se, existe um conjunto decid e a vel e nito de sentenas tais que T = Cn ; c Denio 7. Diz-se que uma relao R Representvel em uma teoria T se, e somente se, existe ca ca e a alguma formula que a represente em T .

 E poss mostrar que: vel Teorema 8. Qualquer relao representvel em uma teoria consiste e axiomatizvel nitamente ca a a e decid vel. Denio 9. Diz-se que uma relao R sobre os nmeros naturais Recursiva se, e somente se, ca ca u e esta representvel para alguma teoria aximatizvel nitamente e consistente (em uma linguagem que e a a contenha 0 e S). Denio 10. Dado a = s0 . . . sn A Th N diz-se que a = h(s0 ), . . . , h(sn ) o nmero de ca e u Gdel associado a a, onde h funcional unrio pr-estabelecido em A. o e a e Observao 11. Denota-se por ca elementos de A. A o conjunto formado pelos nmeros de Gdel associados aos u o

Referncias e
[1] Enderton, H. B. A Mathematical Introduction to Logic,2nd Ed., Harcourt/Academic Press, 2001.