Любая система аксиом достаточно богатая, чтобы с ее помощью можно определить арифметику, будет либо неполна, либо противоречива. Неполная система — это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть. Противоречивая — это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать и опровергнуть. Поскольку окружающая нас природа не содержит таких вот противоречий, она не содержит ни одного явления, которое можно одновременно считать и существующим и несуществующим. В силу этого понятно, что любая система аксиом, описывающая природу, будет неполна, постоянно будут возникать ситуации, которое невозможно исследовать на основании уже существующих выявленных законов природы, это значит что придется постоянно выявлять все новые и новые законы. Но Бог по определению — есть конечная причина всех причин, с точки зрения математики — это означает, что введение аксиомы о боге делает всю нашу аксиоматику полной. Если есть бог — значит любое утверждение можно либо доказать, либо опровергнуть, ссылаясь на Бога. Но по Гёделю полная система аксиом неизбежно противоречива. Т.е. если мы считаем, что бог существует, мы вынуждены прийти к выводу, что в природе возможны противоречия, а поскольку противоречий нет, иначе весь наш мир рассыпался от этих противоречий, приходится прийти к выводу что существование бога несовместимо с существованием природы
Социальные закладки