[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.