Hájek, Petr; Pudlák, Pavel (1998) [first printing 1993]. Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic (1st edición). Springer. ISBN3-540-63648-X. ISSN0172-6641. «En los textos modernos, estos resultados se prueban utilizando el conocido lema de diagonalización (o autorreferencia), que ya está implícito en la prueba de Gödel.»
issn.org
portal.issn.org
Hájek, Petr; Pudlák, Pavel (1998) [first printing 1993]. Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic (1st edición). Springer. ISBN3-540-63648-X. ISSN0172-6641. «En los textos modernos, estos resultados se prueban utilizando el conocido lema de diagonalización (o autorreferencia), que ya está implícito en la prueba de Gödel.»