Истина и доказательство

С другой стороны, обсуждение понятия истины в обыденных языках решительно наводит на предположение о том, что никакого подобного перевода для дефиниции истины получить нельзя, ибо в противном случае было бы доказано, что язык-объект является в некотором смысле семантически универсальным, и это грозило бы вновь появлением антиномии лжеца. Мы подтверждаем это предположение, доказывая, что если бы множество истинных номеров могло быть переведено на язык арифметики, то в таком случае антиномия лжеца появилась бы и в этом языке. Однако, поскольку мы сейчас имеем дело с ограниченным формальным языком, антиномия приобрела бы здесь более утончённую форму (по сравнению с обычными формулировками антиномии лжеца).

Таким образом, множество доказуемых номеров не совпадает с множеством истинных номеров, поскольку первое определимо на языке арифметики, тогда как последнее не определимо. Следовательно, множества доказуемых предложений и истинных предложений не совпадают друг с другом. С другой стороны, используя дефиницию истины, мы легко доказываем, что все аксиомы арифметики являются истинными и все правила доказательства являются непогрешимыми. Следовательно, все доказуемые предложения являются истинными, тогда как обратное высказывание не имеет силы.

В результате мы приходим к выводу, что существуют предложения, сформулированные на языке арифметики, которые являются истинными, но не могут быть доказаны формально на основе аксиом и правил доказательства, принятых в арифметике. Можно подумать, что данное заключение существенным образом зависит от специфических аксиом и правил вывода, выбранных для арифметической теории, и что окончательный исход дискуссии мог бы быть иным, если бы мы соответственным образом обогатили теорию, введя в неё новые аксиомы или новые правила вывода. Однако более тщательный анализ показывает, что вывод очень мало зависит от специфических свойств обсуждаемой теории и что он распространяется и на большинство других формализованных теорий. Предполагая, что некоторая теория включает в себя арифметику натуральных чисел (или что по крайней мере арифметика может быть реконструирована в ней), мы можем повторить существенную часть аргументации в практически неизменном виде. Таким образом, мы вновь придём к выводу, что множество доказуемых предложений данной теории отличается от множества истинных предложений. Более того, если мы можем показать (как это часто бывает), что все аксиомы теории являются истинными и все правила вывода непогрешимыми, то мы далее заключаем, что в данной теории существуют истинные предложения, которые недоказуемы. За исключением некоторых элементарных теорий вывод о несовпадении понятий истинности и доказуемости справедлив по отношению ко всем другим формализованным теориям и, следовательно, имеет почти универсальный характер.

Доминантная роль, которую в общей аргументации играет антиномия лжеца, раскрывает в интересном свете замечания, сделанные в первом разделе относительно роли антиномий в истории человеческой мысли. Антиномия лжеца впервые появляется в нашей дискуссии как разновидность злой силы, обладающей большой разрушительной энергией. Она принуждает отклонить все попытки прояснения понятия истины для естественных языков и заставляет ограничиться формализованными языками научного рассуждения. В качестве гарантии против возможного появления данной антиномии мы вынуждены были существенно усложнить дискуссию, вводя различие между языком и его метаязыком. Однако впоследствии в новой ограниченной области оказалось возможным «приручить» деструктивную энергию и использовать её в мирных, конструктивных целях: антиномия не появляется, но её основная идея используется для достижения существенного методологического результата с далеко идущими следствиями.

Тот факт, что философские следствия этого результата негативны по своему характеру, нисколько не уменьшает его значения. Этот результат показывает, что в сфере математики понятие доказуемости не является совершенным заместителем понятия истины. Вера в формальное доказательство как адекватный инструмент для установления истины всех математических утверждений является необоснованной. За начальным триумфом формальных методов следует серьезное затруднение.