Этот документ, датированный 1970-м годом, входит в научное наследие Гёделя. В нем нет ни введения, ни комментариев, ни объяснений использованной модальной системы (типа логической грамматики). Хотя в нем не содержится никаких ссылок, по всей видимости, это «онтологическое доказательство» базируется на аргументе Ансельма (теолог XI века), а также на трудах Декарта и Лейбница.
