Prida, José F. “A direct proof of Gödel’s incompleteness theorems”. Collectanea Mathematica, vol.VOL 37, no. 1, pp. 81-84, https://raco.cat/index.php/CollectaneaMathematica/article/view/56967.