Title: Re: [obm-l] quest�o de analise dificil
Apenas um pequeno coment�rio sobre os Axiomas.
 
Jamais teremos todos os axiomas. Isso foi provado, com o uso de l�gica formal (variaveis sentenciais e cia). G�edel provou, e esta �
a famosa "Prova de G�edel", que os axiomas jamais ser�o completos. Sempre haver� algum outro axioma complementar que n�o est� expresso ou contido
nos j� existentes. Vale a leitura.
 
N�o acho que seja dif�cil achar o livro ou similar virtual.
 
Abra�o
 
 
Renato Bettiol

Responder a