un sistema logico formal si es completo no puede ser consistente y si es consistente no puede ser completo,
asi es, y? que tiene que ver eso con lo que tu dices
perdon, me traiciono mi asi es. eso solo pasa para sistemas formales de cierta complejidad (los que tienen la capacidad de autoreferenciarse, es alli donde entra en juego el tema paradojas) porque si un sistema puede hablar de si mismo admite expresiones como "yo siempre miento". y ese tipo de expresiones permiten demostrar que si es completo no es consistente, dado que si es completo debe resolver la verdad de esas afirmaciones, y eso entra en contradiccion. pero perfentamente podemos tener sistemas formales complejos no completos y de eso se trata la matematica (hoy) (hilbert quiso construir un sistema completo de una) en esos sistemas (modelos) podremos seguir decidiendo que cosas hacemos verdad por mucho tiempo puse modelos porque podemos desde alguna ciencia usar un modelo adecuado para representar sus realidades y en tal sentido elegir el conjunto de axiomas que declaramos principios de esa ciencia, como? pues viendo que sus conclusiones se adaptan a los experimentos. Asi esos principios resumen el conjunto de observables de dicha ciencia espero te sirva, y espero no tenga muchos errores
-- Diego Saravia [email protected] NO FUNCIONA->[email protected]