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