Viero, A. (2002). A completude da lógica de primeira ordem e o problema da existência matemática. O Que Nos Faz Pensar, 12(15), 57-72. Recuperado de http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/156