beh Godel ha scritto anche la dim. sull'esistenza di Dio....
Cmq in soldoni, a carattere divulgativo...
La Prima Teoria dice che (roughly speaking) che in ogni teoria priva di contraddizioni deve per forza esserci una proposizione vera ma non dimostrabile.
Cioè ogni teoria formale contiene questa debolezza...cioè non è in grado di dimostrare tutte le proposizione che genera, almeno una è indimostrabile
e il seocndo dice che
non è possibile provare la consistenza di una teoria dall'interno di essa,
perchè una teoria include una proposizione che asserisce la consistenza della teoria solo se quest'ultima è inconsistente...sono gravi limiti ad ogni teoria logico-matematica...
{Consistenza di una teoria significa che non si contraddice, cioè che non esistono proposizioni che possono essere dim. sia vere che false...}
In soldoni... ma anche perche' meglio non saprei proprio
Insomma... con l'espressione teoremi di incompletezza si intende proprio il fatto che ogni teoria non può così essere completa, cioè non si può reggere da sola