Как арифметика научилась говорить о собственных доказательствах
Речь не о любом наборе математических правил. Результат относится к формальным системам, которые достаточно выразительны, чтобы описывать обычные целые числа и их арифметику, а правила доказательства можно перечислить механически. Пример такого правила — выводить заключение из уже доказанных утверждений по строго заданной схеме.
Ключевой ход — закодировать математические записи числами. Тогда системе можно задать вопросы не только о числах, но и о формулах и доказательствах: например, является ли конкретная последовательность знаков корректным доказательством. Это похоже на карту, на которой обозначены и сами улицы, и правила чтения карты.
Утверждение с отсылкой к своей доказуемости
Используя такую кодировку, математики построили предложение, смысл которого примерно таков: «В этой системе нет доказательства этого предложения». Это не обычная фраза, вклеенная в формулу, а результат точного перевода рассуждений о доказательствах на язык арифметики.
Если система непротиворечива — то есть её правила не позволяют доказать одновременно утверждение и его отрицание, — она не может доказать это предложение: иначе внутри системы возникло бы основание заключить, что доказательства у него нет. При стандартных предпосылках о системе оказывается, что она не может доказать и отрицание предложения. Значит, её правила не решают этот вопрос, хотя сама система способна сформулировать его.
Граница — не отсутствие математической истины
Это не означает, что любое недоказуемое утверждение автоматически истинно. Здесь важна выбранная арифметическая интерпретация: в обычных натуральных числах предложение о том, что доказательства в системе нет, действительно может быть верным, хотя сама система этого не устанавливает. Более сильная система способна доказать утверждение, оставшееся недоступным для более слабой, но тогда уже можно поставить вопрос о границах и для неё.
Практическое следствие тоньше, чем «математика ничего не знает»: непротиворечивую и механически заданную систему арифметики нельзя одновременно снабдить правилами, которые решают все арифметические вопросы. Можно расширить набор правил, но полного универсального ключа это не даёт — дверь просто переносится на следующий уровень.
