Proporcionó un argumento lógicamente válido basado en la lógica modal; utilizó la concepción de las propiedades, concluyendo finalmente con la existencia de Dios.