Я понимаю, что тут немножко не в тему и не в аудиторию, но просто очень хочется посмотреть на размышления.)

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

Но забудем про математику. Будем считать Гёделевским утверждение, которое принципиально недоказуемо и неопровержимо. Например "ОГО лучше Витала" не является Гёделевским, хоть это вряд ли кто-то докажет и опровергнет, а "Это утверждение — ложь" является Гёделевским.

А теперь, внимание, вопрос.
1. Является ли утверждение "Вселенную создал Бог" Гёделевским? © Стругацкие, вероятно
2. Является ли утверждение "[Вселенную создал Бог] — это Гёделевское утверждение" Гёделевским?

Отвечает Александр Друзь.