E che mi dite allora dei teoremi indeducibili di Gödel e Cohen ?

Letteratura consigliata: "Gödel, Escher, Bach - Un'eterna ghirlanda brillante" - Douglas R. Hofstadter - Adelphi, 1979.