Парадокс Бурали-Форти

Парадокс Бурали-Форти — это парадокс в теории множеств, который демонстрирует, что предположение о существовании множества всех порядковых чисел приводит к логическому противоречию. Он был открыт итальянским математиком Чезаре Бурали-Форти в 1897 году и является одним из ранних парадоксов, выявивших несостоятельность наивной теории множеств и стимулировавших развитие аксиоматических подходов, таких как теория множеств Цермело — Френкеля (ZF) с аксиомой выбора (ZFC).

История открытия

Парадокс был впервые опубликован Чезаре Бурали-Форти в 1897 году в статье «Una questione sui numeri transfiniti» («Вопрос о трансфинитных числах»). Бурали-Форти, ученик Джузеппе Пеано, работал над формализацией теории множеств Георга Кантора. В своей работе он показал, что если допустить существование множества всех порядковых чисел, то можно построить противоречие, используя свойства порядковых чисел.

Этот парадокс, наряду с парадоксом Рассела (1901) и парадоксом Кантора (1899), стал одним из ключевых аргументов против наивной теории множеств, где любое свойство могло задавать множество. Осознание этих противоречий привело к разработке аксиоматических систем, ограничивающих принцип свёртывания (свойство не всегда образует множество).

Формулировка парадокса

Парадокс основывается на следующих фактах из теории порядковых чисел:

1. Порядковые числа — это класс эквивалентности вполне упорядоченных множеств по отношению к изоморфизму порядка. Каждое порядковое число имеет свой порядковый тип.
2. Множество всех порядковых чисел (обозначим его как \( \Omega \)) — если оно существует, то оно само является вполне упорядоченным множеством по отношению \( \in \) (принадлежности).
3. Порядковое число множества \( \Omega \) — обозначим его как \( \alpha \). По определению, \( \alpha \) — это порядковый тип \( \Omega \).
4. Свойство порядковых чисел: для любого порядкового числа \( \beta \) выполняется \( \beta < \alpha \) тогда и только тогда, когда \( \beta \in \Omega \). Но \( \alpha \) — это порядковое число, поэтому \( \alpha \in \Omega \) (так как \( \Omega \) содержит все порядковые числа).
5. Противоречие: если \( \alpha \in \Omega \), то по определению \( \alpha < \alpha \), что невозможно, так как отношение порядка строгое (иррефлексивное). Таким образом, предположение о существовании множества всех порядковых чисел ведёт к логическому противоречию.

Формальная запись

Пусть \( \Omega \) — множество всех порядковых чисел. Тогда \( \Omega \) вполне упорядочено отношением \( \in \). Пусть \( \alpha = \text{ord}(\Omega) \) — его порядковое число. По определению, для любого \( \beta \in \Omega \) выполняется \( \beta < \alpha \). Но \( \alpha \) — порядковое число, следовательно, \( \alpha \in \Omega \). Тогда \( \alpha < \alpha \), что противоречит иррефлексивности строгого порядка.

Связь с другими парадоксами

Парадокс Бурали-Форти тесно связан с парадоксом Кантора (о наибольшем кардинальном числе) и парадоксом Рассела. Все они возникают из-за неограниченного применения принципа свёртывания: для любого свойства \( P(x) \) существует множество \( \{x \mid P(x)\} \). В случае парадокса Бурали-Форти свойство «быть порядковым числом» приводит к противоречию, если рассматривать его как множество.

Отличие от парадокса Рассела

Парадокс Рассела (множество всех множеств, не содержащих себя) более прост и не требует понятия порядкового числа. Парадокс Бурали-Форти специфичен для теории порядковых чисел и показывает, что даже в рамках вполне упорядоченных множеств возникают проблемы с «тотальностью».

Разрешение в аксиоматической теории множеств

В современных аксиоматических системах, таких как ZFC, парадокс разрешается путём запрета на существование множества всех порядковых чисел. Вместо этого вводится понятие класса — совокупности, которая может быть слишком большой, чтобы быть множеством. Класс всех порядковых чисел обозначается как \( \text{Ord} \) и является собственным классом (не множеством). Это позволяет избежать противоречия, так как класс не может быть элементом самого себя.

Аксиома основания

В ZFC аксиома основания (регулярности) также помогает предотвратить подобные парадоксы, запрещая бесконечно убывающие цепочки по отношению \( \in \). Однако парадокс Бурали-Форти разрешается в первую очередь за счёт аксиомы выделения (схемы аксиом подмножеств) и аксиомы замещения, которые ограничивают размеры множеств.

Теория классов фон Неймана — Бернайса — Гёделя (NBG)

В теории NBG, где явно различаются множества и классы, парадокс Бурали-Форти не возникает, так как класс всех порядковых чисел является собственным классом, а не множеством. Это позволяет формально работать с «большими» совокупностями без противоречий.

Значение для математики

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

• Формулировке аксиомы замещения (Френкель, 1922), которая позволяет строить множества, не выходя за пределы допустимых размеров.
• Развитию теории ординалов (порядковых чисел) как собственных классов, а не множеств.
• Уточнению понятия «вполне упорядоченное множество» и его связи с ординалами.

Примеры в учебной литературе

Парадокс часто рассматривается в курсах по теории множеств и математической логике как иллюстрация необходимости аксиоматического подхода. Например, в учебнике К. Куратовского и А. Мостовского «Теория множеств» (рус. пер. 1970) парадоксу посвящён отдельный раздел.

Критика и альтернативные подходы

Некоторые математики, такие как Л. Э. Я. Брауэр (интуиционизм), использовали парадокс Бурали-Форти как аргумент против актуальной бесконечности в канторовском смысле. В интуиционистской математике понятие «множества всех порядковых чисел» вообще не рассматривается, так как бесконечность понимается как потенциальная, а не актуальная.

В альтернативных теориях, таких как теория множеств с аксиомой универсума (например, в теории Гротендика — Вердье), парадокс обходится за счёт иерархии универсумов, где каждый универсум содержит все множества, но сам не является множеством.

Источники

• Бурали-Форти, Ч. «Una questione sui numeri transfiniti», Rendiconti del Circolo Matematico di Palermo, 1897.
• Френкель, А. А., Бар-Хиллел, И. «Основания теории множеств», 1958.
• Куратовский, К., Мостовский, А. «Теория множеств», 1970.
• Йех, Т. «Теория множеств», 3-е изд., 2003.