Ofreció una serie de argumentos separados pero interconectados en contra del argumento ontológico, apoyándose en los conceptos de juicios sintéticos y analíticos.