Teorema de Goedel sobre as proposições indecidíveis

Se S é um sistema formal suficientemente forte para conter a aritmética elementa

r, então S é incompleto ou inconsistente.
1o. Teorema de Goedel ou da Incompletude
Seja T um sistema formal tal que se pode efetuar a Codificação de Goedel e de
monstrar o lema diagonal. Então T é incompleto, isto é, existem sentenças G em T
tais que nem G nem ~G são teoremas de T.
2o. Teorema da Incompletude
Seja T um sistema formal como no 1o. Teorema. Então, se T é consistente, T é
incapaz de demonstrar sua própria consistência.
Idéia principal do Teorema de Godel
Não se pode desenvolver toda a aritmética num sistema que seja ao mesmo tempo
consistente e completo.
Ref. UDESC - Universidade do Estado de Santa Catarina
Anderson de Almeida Prêmoli
Lilian Peralta Fujiwara
Márcio Neubrand
Prof. Claudio Cesar de Sá
TEC - Teoria da Computação
Joinvile, dez 2003