La Logica matematica dopo Gödel

In complemento al libro "I confini logici della Matematica" (stesso autore),si espone l’esigenza di una revisione "semantica" della Logica matematica.Essa,trascurando la classificazione delle Teorie in base all’ordine espressivo,rivaluta il ruolo della Teoria formale degli insiemi.Inoltre si indeboliscono le ipotesi del primo Teorema d’incompletezza e si chiarisce la sua esatta relazione con i paradossi semantici (di Berry,Richard..). In addition to book “I confini logici della Matematica” (same author),it is emphasized that a "semantic" revision of Logic is needed.Neglecting the usual expressive-order type classification of Theories,this revision reevaluates the role of Formal Set Theory.Also it is achieved a weakening of the First incompleteness Theorem hypotheses and its exact connection with semantic paradoxes (Berry,Richard..) P.CH: Teorema d’incompletezza di Gödel,paradossi,aritmetica del primo e secondo ordine KEY: Gödel’s incompleteness Theorem,paradoxes,first and second order arithmetics