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