Id quo maius cogitari nequit — «то, больше чего помыслить невозможно». Ансельм даёт это определение во второй главе «Прослогиона» и строит на нём доказательство, которое разбирают до сих пор.
Ход рассуждения короток. Определение понятно даже отрицающему; но существующее в действительности больше существующего только в уме; следовательно, предмет определения существует.
Возражение появилось немедленно. Монах Гаунилон написал ответ, предложив тем же способом доказать существование совершенного острова; Ансельм отвечал, что довод работает лишь для того, больше чего помыслить нельзя.
Спор возобновлялся у Фомы, Декарта, Канта, Гёделя и не окончен.
Стоической параллели здесь нет: школа доказательств бытия божества не строила, полагая порядок целого самоочевидным.
Ценность формулы, впрочем, одной богословием не исчерпывается. Она даёт образец рассуждения, где вывод следует из одного определения, — и потому её разбирают на курсах логики.
Гаунилон, к слову, был единственным. Больше о нём ничего не известно.