Парадокс Скулема

Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.

В отличие от парадокса Рассела, парадокса Кантора, парадокса Бурали-Форти, где при помощи логически верных выводов обнаруживается противоречие, «замаскированное» в исходных посылках, «противоречие» парадокса Скулема возникает от ошибки в рассуждениях, и аккуратное рассмотрение вопроса показывает, что это лишь мнимый парадокс. Тем не менее, рассмотрение парадокса Скулема имеет большую дидактическую ценность.

Формулировка

Если система аксиом любой аксиоматической теории множеств непротиворечива, то она, в силу теорем Гёделя и Лёвенгейма — Скулема, имеет модель и, более того, эта модель может быть построена на натуральных числах. То есть, всего лишь счётное множество объектов $M$ (каждый из которых будет соответствовать уникальному множеству) требуется для того, чтобы подобрать значение предиката $x\in y$ для каждой пары объектов, полностью удовлетворяющее аксиомам этой теории (например, $\mathrm{Z}\mathrm{F}$ или $\mathrm{Z}\mathrm{F}\mathrm{C}$ — в предположении их непротиворечивости, см. Аксиоматика теории множеств). В такой ситуации для каждого объекта модели $y$ лишь конечное или счётное количество объектов (больше просто нет в предметной области) могут входить в отношение $\dots \in y$. Фиксируем такую модель $𝔐$ со счётным $M$ в качестве предметной области.

В силу теорем $\mathrm{Z}\mathrm{F}$, вне зависимости от принятой модели в $\mathrm{Z}\mathrm{F}$ выводимо, например, существование терма $𝒫(\omega )$, мощность которого несчётна. Но в счётной модели любое множество вынужденно не более, чем счётно — противоречие?

Разрешение

Проведём рассуждение аккуратно. Факт $\mathrm{Z}\mathrm{F}⊢\mathrm{\exists }x(x=𝒫(\omega ))$ означает, что существует такой объект $c\in M$, что формула первого порядка, соответствующая выражению $x=𝒫(\omega )$, истинна в модели $𝔐$ на оценке, при которой индивидной переменной $x$ поставлен в соответствие объект $c$. Теорема Кантора утверждает, что $x$ — несчётно, что по определению значит

$\mathrm{Z}\mathrm{F}⊢\mathrm{\neg }\mathrm{\exists }f(f$ — биекция между $𝒫(\omega )$ и $\omega )\wedge \mathrm{\exists }f(f$ — биекция между $\omega$ и $\omega \cup \omega ),$

где «$f$ — биекция между $A$ и $B$» означает $\mathrm{\forall }x\mathrm{\forall }y(⟨x,y⟩\in f\iff (x\in A\wedge y\in B))$, где $⟨x,y⟩$ — любое кодирование упорядоченных пар, например, $⟨x,y⟩=\{x,y,\{x\}\}$.

Но это значит лишь то, что среди элементов $M$ нет такого $f$, что в модели $𝔐$ оно удовлетворяло бы свойствам биекции между $𝒫(\omega )$ и $\omega$. При этом не важно, что в отношение принадлежности с объектом из $M$, соответствующим терму $𝒫(\omega )$ может входить не более чем счётное число объектов из $M$ — важно то, что среди объектов $M$ не существует $f$, осуществляющего необходимую биекцию.

Рассуждение «если модель счётна, то в отношение $\in$ с любым объектом может входить не более чем счётное число объектов» есть рассуждение внешнее по отношению к изучаемой аксиоматической теории и никакой формуле в этой теории не соответствует. С внешней точки зрения на теорию $\mathrm{Z}\mathrm{F}$ «множество всех множеств» (второй раз слово «множество» здесь обозначает лишь некоторый объект предметной области $\mathrm{Z}\mathrm{F}$) может существовать и даже быть счётным, что никак не связано (и потому не может противоречить) с выводимыми в $\mathrm{Z}\mathrm{F}$ формулами.

Литература

• Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.: УРСС, 2005. — 240 с.
• Френкель А. А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 556 с.