Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены доказали теорему Гёделя выдвинутую им в конце 1970-х, сообщает Voz de Galicia.

"Гёдель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию", - пишет издание.