Перед вами ОНО, принадлежащее Курту Гёделю. Назовите ЕГО тремя словами.
Доказательство существования Бога.
Зачёт: Доказательство бытия божия.
В последней строке виден квантор существования и латинская буква G.
Забавно, что на теореме Гёделя о неполноте основывают доказательства того, что Бога нет. Первая теорема Гёделя о неполноте утверждает, что в любой достаточно сильной системе аксиом существуют недоказуемые истинные утверждения. Утверждение о существовании Бога сам Гёдель, однако, к таким не относил.