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

Кажется сомнительным, чтобы язык со столь неясной семантикой мог служить удовлетворительным средством для аксиоматического определения чего-нибудь, в частности натурального ряда.

И действительно, если мы проанализируем использование аксиомы индукции в процессе доказательства того, что любая модель аксиом I–III изоморфна N, мы увидим, что здесь, по существу, используется то самое понятие натурального числа, которое мы ещё только собираемся аксиоматически определить. Наше свойство P0 означает «иметь вид 0''…'». Многоточие между штрихами в выражении «0''…'» как раз и пытается заменить собою общее представление о натуральном числе. А выразить свойство Р0 без априорного представления о натуральном числе или без заменяющих его многоточия или слов «и так далее» невозможно.

5. «Можно ли доказать, что великую теорему ферма нельзя ни доказать, ни опровергнуть?»

5. «Можно ли доказать, что великую теорему ферма нельзя ни доказать, ни опровергнуть?»

Именно так было озаглавлено пятое размышление в опубликованном в 1987 г. первоначальном тексте этой работы. В то время убеждение в справедливости Великой теоремы Ферма основывалось на некой иррациональной вере: доказательство теоремы отсутствовало, отсутствовало и опровержение. Напомним, что опровержение какого-либо утверждения состоит в доказательстве его ложности; опровергнуть утверждение – значит доказать, что оно является ложным, иначе говоря, доказать его отрицание.

Однако с тех пор в мировой науке произошло важное событие: более чем через 350 лет после того, как была сформулирована Великая теорема Ферма, она была наконец доказана! Автором доказательства стал сорокалетний англичанин Эндрю Уайлс (A. Wiles), выпускник аспирантуры Кембриджа, переехавший в 1980-е гг. в Америку и ставший профессором Принстонского университета.

Доказательство Уайлса рождалось с драматизмом, достойным Великой теоремы. После многих лет упорной работы к маю 1993 г. Уайлс был убеждён, что обладает доказательством, которое он изложил в общих чертах в трёх лекциях, прочитанных в его родном Кембридже 21–23 июня 1993 г. В номере от 5 июля 1993 г. известный американский журнал Time посвятил этому событию статью с подзаголовком «Решена самая знаменитая математическая проблема в истории». В январе 1994 г. популярный математический журнал опубликовал статью [31] о многовековой осаде Великой теоремы Ферма – осаде, завершившейся предпринятым Уайлсом семилетним штурмом; впрочем, в конце статьи содержалось следующее примечание: