NOWAK, T. Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych. Polonica, [S. l.], v. 21, p. 193–202, 2001. Disponível em: https://polonica.ijp.pan.pl/index.php/polonica/article/view/377. Acesso em: 25 kwi. 2024.