Рейтинг публикаций

Вторая теорема Гёделя о неполноте достаточно обширной аксиоматической системы, например, бытия, которая не может быть доказана в рамках этой системы, требует расширения системы, в рамках которой может проявиться непротиворечивость этой расширенной системы, что также можно отнести и к возможности доказать наличие высшего разума, или бога с характеристиками, соответствующими этой расширенной системе.