Ансельм Кентерберийский работал над рациональными доказательствами бытия Бога. В сочинении «Монологиум» он исходит из того, что за случайным, относительным и бренным бытием скрывается нечто необходимое, абсолютное и вечное. Таким началом бытия, согласно Ансельму, может быть только Бог. Таково доказательство бытия Бога, которое, как считает Ансельм, основано на опыте.
Другое его доказательство известно под названием «онтологическое доказательство». Оно изложено в его работе «Прослогион» и основано, по словам Ансельма, не на опыте, а на разуме. Ансельм утверждает, что даже безумец, высказывающий атеистические суждения, опирается при этом на идею Бога как абсолютного совершенства. Таким образом из мысли о Боге Ансельм, по сути дела, выводит факт его реального существования. Современники дали Ансельму «ученое прозвище» — «Чудесный доктор», хотя сам он отнюдь не злоупотреблял «чудесами» и большим чудом считал «естественное восстановление праведности», чем воскресение из мертвых. Прозвище относилось, скорее всего, к свойствам его души. В тот век, грубый и мрачноватый, этот человек должен был казаться современникам «чудесным».
.