Вопрос 5:
Перед вами ОНО, принадлежащее Курту Гёделю. Назовите ЕГО тремя
словами.
Ответ: Доказательство существования Бога.
Зачёт: Доказательство бытия божия.
В последней строке виден квантор существования и латинская буква G.
Забавно, что на теореме Гёделя о неполноте основывают доказательства
того, что Бога нет. Первая теорема Гёделя о неполноте утверждает, что в
любой достаточно сильной системе аксиом существуют недоказуемые истинные
утверждения. Утверждение о существовании Бога сам Гёдель, однако, к
таким не относил.
Источник(и): http://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof
Автор: Константин Изъюров (Швейцария)