[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] Incompletudes de Boltman



Oi para todos!
 
Eu queria saber porque o Teorema das Incompletudes de Boltman � verdadeiro
 
O teorema � o seguinte: Em um conjunto de axiomas sempre persistem quest�es que n�o podem ser negadas, nem comprovadas por esses mesmos axiomas.
 
Andr� T.