Теорему неполноты можно сформулировать и следующим образом: "Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для её доказательства или опровержения требуются дополнительные аксиомы."
1) Бог есть истина (множество истинных высказываний)
2) Согласно закону достаточного основания, все истинные высказывания должны быть обоснованы с помощью других истинных высказываний
3) Таким образом, множество истинных высказываний обосновывает самое себя; но тогда, согласно теореме неполноты, для доказательства всего множества истинных высказываний необходимо высказывание, отличное от истинного, то есть ложное.
Таким образом, каждый атеист, аксиоматически отрицая Бога, лжет, и тем самым доказывает существование Бога (какая ирония!). Но доказательство требуется людям, а множество истинных высказываний прекрасно существует и обходится без доказательства ровно потому, что оно истинное. Ведь не будем же мы всерьез утверждать, будто бы утверждение А=А ложно потому, что оно истинно? )