Как известно, Фома Аквинский вывел пять доказательств бытия божьего. Как известно, Кант опроверг их все. Как известно, свои, кантовские доказательства бытия божьего сам Кант считал более достоверными.
Как известно, после Канта многие заморачивались этой задачей - доказать, что бог таки есть.
Как известно, решение этой задачи невозможно в принципе.
(
Зато - возможно решение обратной задачи. )