Weibel, P. ., & Köhler, E. . (1991). Gödelov dôkaz nerozhodnuteľnosti. Filozofia, 46(6), 560-580. Cit z http://www.filozofia.sav.sk/sites/default/files/doc/filozofia/1991/6/560-580.pdf