Вопросы к Поиску с Алисой
Да, онтологический аргумент Гёделя имеет смысл. bogoslov.ru
Математик Курт Гёдель разработал формальный аргумент в пользу существования Бога, основываясь на идеях, впервые предложенных Ансельмом Кентерберийским. proza.ru en.wikipedia.org Гёдель предположил, что сумма всех положительных свойств сама по себе является положительным свойством, а положительные свойства подразумевают только положительные свойства. journals.kantiana.ru Из этих предположений следует, что «система всех положительных свойств непротиворечива», и, следовательно, существование Бога, как носителя всех положительных свойств, возможно. journals.kantiana.ru
Таким образом, Гёделю удалось продемонстрировать логическую возможность построения онтологических доказательств метафизического типа. bogoslov.ru
Однако стоит учитывать, что логическая безупречность выводов Гёделя не принуждает человека становиться верующим под давлением силы доказательств. proza.ru