En "Sobre la existencia de Dios y la existencia de los unicornios", el filósofo y científico informático Gilles Dowek objetó al argumento ontológico utilizando el teorema de corrección (recíproco del Teorema de completitud de Gödel).