Теперь мы можем подвести итоги нашему анализу и выразить их в общей логической форме. Если под "доказательством" разуметь ход мыслей, основанный на умозаключении и уясняющий какую-либо истину косвенно, через установление ее связи с другими истинами, то "онтологическое доказательство" вообще не есть "доказательство", ибо оно есть, напротив, ход мыслей, подводящий к непосредственному усмотрению первичной, самоочевидной истины (именно в этом -- о чем ниже -- и заключается его ценность, как умственного пути к усмотрению бытия Божия). Истина всегда есть выражение необходимости. К какого же рода необходимости принадлежит истина, постигаемая "онтологическим доказательством"?
Существует необходимость эмпирическая, усматриваемая в единичном опыте: это есть необходимость, присущая факту, тому, что воочию стоит перед нами. Истины опытного порядка выражают эту необходимость. Факт есть нечто неустранимое, как бы принудительно нам навязывающееся и в этом смысле необходимое. Но с логической точки зрения факт всегда случаен: мыслимо и иное, чем этот факт. Если я стал жертвой, скажем, автомобильной катастрофы, то факт этот вместе с его возможными последствиями -- увечьем или смертью -есть для меня горькая необходимость, и никакими силами мысли я не могу устранить его, сделать бывшее небывшим. И вместе с тем эта необходимость факта есть логически случайность -- я мог бы и не попасть под автомобиль. Существует, с другой стороны, необходимость логическая, усматриваемая в умозрении: таковая необходимость состоит в неотмыслимости, в немыслимости иного.