Выдающийся мыслитель Ансельм Кентерберийский изложил свое онтологическое доказательство бытия Бога в философском трактате «Прослогион» в 1078 году. Он утверждал, что Бог есть то, больше чего невозможно ничего помыслить, а поскольку существование в реальности совершеннее существования только в уме, то величайшее мыслимое существо должно реально существовать.