Аверинцев в "Поэтике ранневизантийской литературы" блестяще показывает, что онтологическое доказательство Ансельма Кентерберийского есть аксиоматическая тавтология. Ансельм говорит: Бог есть абсолютное бытие, бытие всех бытий. То же говорит Псевдо-Дионисий Ареопагит. А Кант в "Критике чистого разума" говорит: Бытие не ЕСТЬ! Бытие - это логическая связка, вообще не предикат.
И поэтому Кант просто не поймёт Ансельма, а Ансельм - Канта.