В XI веке святой Ансельм Кентерберийский сформулировал знаменитый аргумент в пользу существования Бога. Согласно этому аргументу, существование Бога выводится из идеи Бога, а идея Бога – это идея совершенного существа, настолько совершенного, насколько это возможно. Если есть совершенство, есть и совершенное существо, то есть Бог.
Философы более позднего времени доказали, что из идеи нельзя вывести существования чего‑либо. Пародировать аргумент святого Ансельма не пытался только ленивый. Вот как можно доказать, что дьявола не существует: идея дьявола – идея несовершенного существа, настолько несовершенного, насколько это возможно; если несуществование есть несовершенство, нет и самого несовершенного существа, то есть дьявола.