Много букв печатать лень. Кратко.
Предположим всемогущее существо или какой-нибудь гений математики уровня Гёделя или Перельмана обнаружили доказательство всемогущества Всемогущего существа, то есть понятие всемогущества доказуемо.
Но если всемогущее существо есть, то оно в рамках теории доказательства может доказать,что оно не-всемогущее. Если существуют два доказательства не-всемогущества и всемогущества, то сама теория доказательства противоречива, а значит не может служить доказательство любого утверждения в рамках данной теории. Если же в рамках упомянутой теории нельзя доказать существования не-всемогущества, то это есть ограничение для всемогущего существа, то есть оно не-всемогуще.
Из этого следует не совсем то,что математики и философы думают безальтернативно.
Это значит,что не то что всемогущее существо не существует, а то,что, условно говоря, всемогущее существо, по условиям доказательства, загонятся в некоторое «прокрустово ложе» невыполнимости определенного условия, которое является атрибутом всемогущества.
А вот что является необходимым атрибутом всемогущества?
Бесконечная физическая, интеллектуальная и прочая сила? Ошибочный посыл. Хотя и вполне необходимый. Но недостаточный.
Абсолютно всемогущее существо необходимо должно обладать абсолютной свободой воли и выбора.
В политике очень наглядно это продемонстрировал Зеленский в одном из интервью западной прессе.
Поскольку никто не читает опусы о логике, то кое-что пропущено в доказательстве.