Nowak, T. 2001. Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych. Polonica. 21, (grudz. 2001), 193–202.