Райнер Мария Рильке (1875–1926) – один из самых влиятельных поэтов-модернистов XX века.

Перевод Н. Мавлевич. – Примеч. пер.

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