Вполне доказать существование Бога — может быть, и нельзя. А знать — вполне можно.
Притом, утверждение, что истинно только то, что можно доказать с помощью инструментария формальной логики, — это утверждение само нуждается в доказательствах.
На самом деле, может быть, это вовсе и не так. Некоторые вещи можно и не доказывать.
Например, когда человек утром ждёт автобуса, чтобы доехать на работу, ему не нужны доказательства, что автобусы существуют — для него актуальная проблема состоит не в том, что существует ли автобус, а в том, что нужно побыстрее уехать на автобусе и не опоздать на работу.
Также и с Богом. Какая разница, доказано бытие Бога или не доказано, если Бог реально есть и Он реально включён в нашу жизнь (тем, что Он — Творец мира и Промыслитель)?
,