Proslógio é uma obra de Anselmo de Cantuária onde está escrito o primeiro argumento ontológico para a existência de Deus.O argumento ontológico de Anselmo pode ser resumido como: Deus, por definição, é o maior de todos os seres possíveis Um ser que não existe no mundo real é menor que um ser que necessariamente existe em todos mundos possíveis Suponha que Deus não exista no mundo real Se o maior de todos seres possíveis não existe no mundo real, então ele não é tão grande quanto um ser que seria quase igual a ele, mas que não existe no mundo real Mas o maior de todos seres possíveis não pode' ser menor que algum outro ser que possa existir, porque a expressão "um ser tal que nenhum outro seja maior que ele é um ser para o qual é possível haver um maior" é uma expressão auto-contraditória Logo, a suposição 3 é falsa. Wikipedia