Основываясь на этом ЛОЖНОМ постулате (ошибочном заключении), Алексей Кузнецов хочет попробовать доказать с помощью теоремы Гёделя, что атеизм "победит". Но, чтобы иметь возможность "просчитать" формулу, надо в первую очередь подставить правильные значения. Не так ли?
О чем говорит теорема Гёделя? Простыми словами:
...в любой достаточно сложной непротиворечивой теории существует
утверждение, которое средствами самой теории невозможно ни доказать, ни
опровергнуть.
|