Во 1931. год. Гедел ги осуети очекувањата на многу еминентни научници, од Хилберт до Расел, со тоа што докажува дека секој систем кој е адекватен и конзистентен мора да е и некомплетен, што значи дека секогаш ќе има вистинити тврдења што можат да се изразат (напишат) но не можат да се докажат - ниту тврдењата ниту нивната негација.
„МАРГИНА бр. 3“
(1994)