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