Viero, Arno. " A completude da lógica de primeira ordem e o problema da existência matemática" O que nos faz pensar [Online], Volume 12 Número 15 (1 July 2002)