No século XI, Anselmo de Aosta formulou a prova ontológica da existência de Deus. Essa prova ontológica

fundamentava-se no princípio de que aquilo de que não se pode pensar nada de maior existe tanto no intelecto quanto na realidade.