Prida, J. F. Una nueva prueba del teorema de incompletitud de la aritmética. Bol. Cent. Calc. Univ. Complut. 2015, N.º 32, 1-3.