Re: Logica

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

Claro que sim, há vários exemplos de teorias muito simples
de primeira ordem que são consistentes e completas.
O que Gödel provou ser impossível é termos uma teoria
consistente, completa e com um conjunto de axiomas recursivo
que seja pelo menos tão forte quanto a aritmética de Peano.
[]s, N.

On Wed, 16 May 2001, Ricardo Parreira da Silva wrote:

> É possível termos para uma teoria de primeira ordem consistencia e
> completude?
> Entendemos por teoria de primeira ordem, um conjunto de sentenças
> expressas numa linguagem de primeira ordem.
> 
> 
> 
>