Ок, вот кусочек:
Система аксиом, достаточно богатая, чтобы с её помощью можно было определить арифметику, будет либо неполна, либо противоречива. Неполная система - это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать ни опровергнуть. Противоречивая - это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать и опровергнуть. Поскольку окружающая нас природа не содержит таких противоречий, грубо говоря, она не содержит ни одного явления, которое можно было бы одновременно считать и существующим и не существующим. В силу этого понятно, что любая система аксиом описывающая природу будет неполна.
__________________
Трофим - Поколение пепси
|