, Е
>2, С и Н нашей задачи. (Номер, присваиваемый каждому предложению, – в задаче мы называли его просто номером – в математической логике известен под названием гёделевого номера предложения.) Доказать, что система удовлетворяет условиям С и Н, очень просто. Доказательство того, что система удовлетворяет условиям E
>1 и Е
>2, в принципе несложно, но довольно громоздко. Коль скоро доказано, что система удовлетворяет всем четырем условиям, они
[10]позволяют построить предложение, которое истинно, но недоказуемо (невыводимо) в данной системе.
Это предложение можно представлять себе как некоторое предложение X, содержащее утверждение о своей недоказуемости. Такое предложение действительно должно быть истинно, но недоказуемо (подобно тому как житель острова G, утверждавший, что он непризнанный рыцарь, действительно был рыцарем, но не был признанным рыцарем).
Возможно, вы спросите: но если известно, что предложение X (содержащее утверждение о своей недоказуемости) истинно, то почему бы не принять его за новую аксиому? Разумеется, мы можем пополнить список аксиом системы еще одной аксиомой, но расширенная система также будет удовлетворять условиям E>1, Е>2, С и Н. Следовательно, в ней найдется другое предложение X1, которое будет истинным, но недоказуемым в расширенной системе. Таким образом, хотя расширенная система позволяет доказать больше истинных предложений, чем старая, тем не менее и в ней доказать все истинные предложения невозможно.
Должен сказать, что мое изложение метода Гёделя отличается от первоначального доказательства теоремы, предложенного самим Гёделем. Основное отличие состоит в том, что я использую понятие истинности, отсутствующее у Гёделя. Действительно, в первоначальном виде теорема Гёделя не содержит утверждения о существовании в системе истинного, но недоказуемого (невыводимого) предложения. В ней говорится нечто иное: при некотором правдоподобном допущении относительно системы в ней непременно существует предложение (и Гёдель демонстрирует такое предложение), которое в рамках системы невозможно ни доказать, ни опровергнуть.
Понятие истинности было строго формализовано логиком Альфредом Тарским. Он доказал, что для математических систем, удовлетворяющих условиям теоремы Гёделя, множество гёделевых номеров истинных предложений неопределимо в системе. Иногда этот результат формулируют так: «Во всякой достаточно мощной системе истинность предложений системы неопределима в рамках самой системы».
271. Последнее слово
Рассмотрим следующий парадокс:
Это предложение недоказуемо.