Чтобы рассказать по подробней мне пришлось бы пересказать всю мою статью «Дилогия атеизма«. Статья опубликована в июле 2007 года в журнале «Октябрь». Статья эта в интернете доступна.
Но если кратко, эти самые теоремы о неполноте указывают, что любая система аксиом либо неполна, либо противоречива. Полнота системы означает, что любое утверждение сформулированное средствами этой системы можно её же средствами либо доказать, либо опровергнуть.
А противоречивость означает, что некоторое утверждение, которое можно сформулировать средствами этой системы, можно её же средствами и доказать, и опровергнуть. Так вот, предположение о существовании бога делает любую систему аксиом описывающую наш мир полной. В том смысле, что если мы чего-то не можем доказать иными средствами мы всегда можем сослаться на бога, как на причину того, что мы исследуем. Но раз система полна, она противоречива. Причём в рамках полной системы можно сформировать противоречие такого вида, которое заведомо отсутствует в …