Viero, Arno. " A completude da lógica de primeira ordem e o problema da existência matemática." O que nos faz pensar [Online], 12.15 (2002): 57-72. Web. 24 May. 2022