Viero, A. 2002 Jul 1. A completude da lógica de primeira ordem e o problema da existência matemática. O que nos faz pensar. [Online] 12:15