Nowak, T. Twierdzenie Gödla a Problem zupełności I niesprzeczności Modeli Generatywnych. Polonica 2001, 21, 193-202.