В Средние века для доказательства существования Бога часто использовали онтологический аргумент. Вкратце его можно сформулировать так: идея Бога является величайшей из всех идей, которые мы способны вообразить. Если эта идея не включает атрибут существования, тогда должна быть еще более величественная идея, которая его включает. Таким образом, величайшая из всех возможных идей должна существовать – в противном случае возможно существование превосходящей ее идеи. Что и требовалось доказать. Бог существует.