* — это множество таких чисел
х, для которых
х*
x принадлежит
P̅, или, другими словами, множество таких чисел
х, для которых элемент
x*x не принадлежит
P). Таким образом, множество
К допускает наименование в данной системе, откуда следует, что
К =
А>k по крайней мере для одного числа
k. (Для системы Фергюссона одним из таких значений
k было число 73, другим — число 75.) Таким образом, для любого числа
x истинность утверждения
x ∈
A>k равносильна утверждению, что число
x*x не принадлежит
P, а это в свою очередь означает, что утверждение
x ∈
A>x недоказуемо (в данной системе). В частности, если мы возьмем в качестве
x число k то истинность утверждения
k ∈
A>k будет равносильна его недоказуемости в данной системе, что означает либо истинность, но недоказуемость этого утверждения, либо его ложность, но доказуемость в той же системе. Но последняя возможность исключена, поскольку мы предположили, что наша система является правильной; следовательно, указанное утверждение истинно, но недоказуемо в данной системе.
Обсуждение. В своей предыдущей книжке «Как же называется эта книга?» я рассматривал аналогичную ситуацию — остров, все жители которого делятся на рыцарей, которые всегда говорят только правду, и плутов, которые всегда лгут. При этом некоторых рыцарей мы называли признанными рыцарями, а некоторых плутов — отъявленными плутами. (Все рыцари высказывают истинные суждения, а признанные рыцари высказывают утверждения, которые не только истинны, но и доказуемы.) Далее, ни один из жителей острова не может сказать: «Я не рыцарь» — ведь рыцари никогда не лгут и, стало быть, рыцарь не станет говорить, будто он не рыцарь; плут же никогда не скажет о себе правдиво, что он не рыцарь. Именно поэтому ни один из обитателей острова никак не может заявить, что он не рыцарь. Вместе с тем некий островитянин вполне может сказать: «Я непризнанный рыцарь». Противоречия в таком заявлении нет, однако вот что интересно: сказавший это наверняка должен быть рыцарем, но непризнанным рыцарем. Дело в том, что плут никак не может сделать правдивого заявления, что он непризнанный рыцарь (поскольку он и в самом деле им не является); стало быть, говорящий должен быть рыцарем. Но раз он рыцарь, то, значит, должен говорить правду; стало быть, он рыцарь, но, как он сам утверждает, — непризнанный рыцарь. (Точно так же высказывание k ∈ A>k выдающее свою недоказуемость в данной системе, должно быть истинным, но недоказуемым в этой системе.)
Утверждения Гёделя и теорема Тарского
Рассмотрим теперь систему, удовлетворяющую условиям G