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

Парадокс Сколема (также известный как парадокс Лёвенгейма — Сколема) — это теоретико-множественный парадокс, который возникает при применении теоремы Лёвенгейма — Сколема к аксиоматической теории множеств (например, к системе Цермело — Френкеля с аксиомой выбора, ZFC). Парадокс заключается в кажущемся противоречии: в то время как теория множеств утверждает существование несчётных множеств (например, множества всех действительных чисел), в любой её счётной модели, существование которой гарантируется теоремой Лёвенгейма — Сколема, все эти «несчётные» множества с точки зрения самой модели оказываются счётными. Парадокс не является логическим противоречием, а демонстрирует относительность понятий «счётность» и «несчётность» в зависимости от модели, в которой они рассматриваются.

¶История

Парадокс был открыт в ходе развития теории моделей — раздела математической логики, изучающего соотношение между формальными языками и их интерпретациями (моделями). В 1915 году Леопольд Лёвенгейм доказал теорему о том, что если формула логики первого порядка имеет модель, то она имеет и счётную модель. В 1920 году Торальф Сколем обобщил этот результат, доказав, что любое счётное множество формул первого порядка, имеющее модель, обладает счётной моделью. В 1922 году Сколем применил этот результат к аксиомам теории множеств Цермело — Френкеля и указал на кажущееся противоречие: аксиомы ZF, будучи счётным множеством формул, должны иметь счётную модель, однако в рамках этой модели можно доказать существование несчётного множества, например, множества всех действительных чисел. Это противоречие и получило название парадокса Сколема.

Сам Сколем рассматривал этот парадокс как аргумент против формалистского подхода к основаниям математики, указывая на то, что формальные аксиомы не могут полностью уловить интуитивное понятие множества. Однако впоследствии парадокс был переосмыслен как важный результат, иллюстрирующий фундаментальные свойства логики первого порядка и её ограничения.

¶Суть парадокса

¶Теорема Лёвенгейма — Сколема

Теорема Лёвенгейма — Сколема (в своей нисходящей формулировке) утверждает: если множество предложений (аксиом) в языке первого порядка имеет бесконечную модель, то оно имеет и счётную модель. Теория множеств ZFC (или ZF) формулируется в языке первого порядка, имеет бесконечную модель (если она непротиворечива), и, следовательно, по теореме, должна иметь счётную модель.

¶Проблема несчётности

Внутри теории ZFC можно доказать существование несчётного множества, например, множества всех действительных чисел R. Доказательство использует диагональный аргумент Кантора, который формализуется в рамках теории. Таким образом, в любой модели ZFC, включая счётную, должно существовать множество, которое с точки зрения этой модели является несчётным.

¶Кажущееся противоречие

Возникает вопрос: как счётная модель может содержать несчётное множество? Ведь если модель счётна, то все её элементы (включая то, что в ней считается «множеством действительных чисел») можно пересчитать натуральными числами. Разгадка парадокса заключается в том, что понятие «счётность» является относительным.

Внутри модели ZFC существует функция, которая устанавливает взаимно однозначное соответствие между множеством натуральных чисел N и некоторым другим множеством. Однако эта функция сама должна быть элементом модели. Если модель счётна, то в ней существует взаимно однозначное соответствие между её элементами и натуральными числами с точки зрения внешнего наблюдателя (в метатеории). Но это соответствие не обязательно является элементом самой модели. Модель «не видит» этого соответствия, поэтому для неё множество, которое на самом деле счётно, выглядит как несчётное.

¶Разрешение парадокса

Парадокс Сколема разрешается пониманием того, что счётность и несчётность — это не абсолютные свойства множества, а свойства, которые определяются относительно данной модели. Множество может быть счётным в одной модели (метатеории) и несчётным в другой (объектной теории), если во второй модели отсутствует функция, устанавливающая его биекцию с натуральными числами.

Таким образом, счётная модель ZFC содержит «несчётное» множество R в том смысле, что в самой модели нет функции, которая бы пересчитала его элементы. Однако с точки зрения внешней, более богатой теории (метатеории), такое множество является счётным, так как существует биекция между ним и натуральными числами, которая не принадлежит модели.

¶Значение и следствия

¶Относительность понятий

Парадокс Сколема демонстрирует фундаментальную относительность теоретико-множественных понятий в рамках логики первого порядка. Он показывает, что формальные аксиомы не могут однозначно зафиксировать структуру модели: существует множество различных моделей, удовлетворяющих одним и тем же аксиомам, и в них одни и те же утверждения могут интерпретироваться по-разному.

¶Ограничения логики первого порядка

Парадокс является одним из ключевых аргументов, показывающих ограниченность выразительной силы логики первого порядка. Она не может однозначно определить понятие «несчётное множество» или «конечное множество» — эти понятия оказываются некатегоричными. В отличие от логики второго порядка, которая может аксиоматизировать понятие несчётности, логика первого порядка допускает существование «нестандартных» моделей.

¶Критика формализма

В философии математики парадокс Сколема часто используется как аргумент против формализма и платонизма. Он ставит под сомнение возможность однозначного описания математической реальности с помощью формальных аксиом. Если теория множеств имеет множество различных моделей, то какая из них является «истинной»? Этот вопрос остаётся предметом дискуссий.

¶Связь с теоремой о неполноте

Парадокс Сколема тесно связан с теоремами Гёделя о неполноте. Оба результата указывают на принципиальные ограничения формальных систем. Теорема Гёделя говорит о том, что в любой достаточно богатой формальной системе есть истинные, но недоказуемые утверждения. Парадокс Сколема показывает, что даже если система непротиворечива, она может иметь модели, которые существенно отличаются от «интуитивно ожидаемой».

¶Примеры и иллюстрации

¶Счётная модель ZFC

Предположим, что ZFC непротиворечива. Тогда существует счётная модель M этой теории. В M есть элемент R_M, который интерпретируется как множество действительных чисел. Внутри M доказывается, что R_M несчётно. Однако с точки зрения внешней теории (например, теории множеств, в которой мы работаем, доказывая существование M), R_M является счётным множеством, так как вся модель M счётна, а R_M — её подмножество.

¶Нестандартные модели арифметики

Аналогичный парадокс возникает в теории арифметики Пеано (PA). Существуют нестандартные модели PA, которые содержат «бесконечные» натуральные числа, большие всех стандартных. С точки зрения такой модели, множество стандартных чисел не является множеством (так как оно не определимо в языке PA), а с точки зрения внешнего наблюдателя, оно является счётным подмножеством модели.

¶Критика и интерпретации

Некоторые философы и математики (например, Хилари Патнэм) использовали парадокс Сколема для обоснования тезиса о том, что математические теории не имеют однозначной интерпретации (тезис о «сколемовской неопределённости»). Другие, напротив, считают, что парадокс не представляет серьёзной проблемы для математического реализма, так как он лишь демонстрирует технические особенности формальных систем, а не подрывает интуитивное понимание множеств.

Сам Торальф Сколем первоначально рассматривал парадокс как доказательство того, что аксиоматический метод не может быть основой для теории множеств. Однако впоследствии сообщество математиков приняло парадокс как неотъемлемую часть теории моделей и не считает его логическим противоречием, требующим устранения.

¶Источники

• Сколем, Т. (1922). «Некоторые замечания об аксиоматической теории множеств». (Skolem, T. (1922). «Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre»)
• Лёвенгейм, Л. (1915). «О возможностях в исчислении относительных понятий». (Löwenheim, L. (1915). «Über Möglichkeiten im Relativkalkül»)
• Эббингауз, Г.-Д., Флум, Й., Томас, В. (1994). «Математическая логика». (Ebbinghaus, H.-D., Flum, J., Thomas, W. (1994). «Mathematical Logic»)
• Мендельсон, Э. (1997). «Введение в математическую логику». (Mendelson, E. (1997). «Introduction to Mathematical Logic»)
• Патнэм, Х. (1980). «Модели и реальность». (Putnam, H. (1980). «Models and Reality»)