S.12 · структурный парадокс · подтип: Теоретико-множественный
Burali-Forti
Суть ошибки. Ординал всех ординалов (открытая последовательность как множество)
Точная формулировка
Ординал — порядковый тип вполне упорядоченной совокупности; каждый ординал есть совокупность всех меньших ординалов. Пусть Ω — совокупность всех ординалов. Она вполне упорядочена — значит, сама имеет порядковый тип, то есть Ω — ординал. Тогда Ω принадлежит совокупности всех ординалов — самой себе: Ω ∈ Ω; к тому же всякий ординал строго меньше своего преемника Ω + 1, который тоже ординал и обязан лежать в Ω, — «наибольший порядок» и больше себя, и не наибольший. Противоречие с обеих сторон.
Происхождение
Чезаре Бурали-Форти, 1897 — первый опубликованный парадокс теории множеств, за пять лет до письма Рассела: доклад о трансфинитных ординалах Кантора вскрыл противоречие в понятии «наибольшего ординала». Сам Кантор знал этот узел (переписка с Дедекиндом) и отвечал тем же различением, что и на собственный парадокс: Ω — «абсолютно бесконечная, инконсистентная множественность», не собираемая в завершённое целое. Показательно: парадокс носит имя человека, который считал, что нашёл дефект у Кантора, — а исторически он нашёл границу, которую Кантор уже провёл.
Следствие
Первый звонок кризиса оснований — до Рассела и громче забытый: именно на ординалах видно, что беда не в хитром предикате («не содержит себя»), а в самом жесте «взять тотальность порождаемого как предмет». Классическое лечение — собственные классы (фон Нейман—Бернайс—Гёдель): Ω узаконено как класс, который сам элементом не бывает; в ZF «множество всех ординалов» просто непостроимо. Ход порождения при этом не тронут: за каждым ординалом — следующий, лестница цела; запрещено лишь объявлять лестницу её же ступенью.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: ординалы; порядок «меньше»; операция «взять порядковый тип»; тотальность Ω «все ординалы». Структура: тотальность порядков сама берётся как носитель порядка. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? «Ординал» — не количество, а позиция в порядке: первый, второй, …, ω, ω+1, … — каждый определён совокупностью всех меньших. Первый сигнал: определение ординала порождающее — всякий ординал влечёт следующий; «все ординалы» — квантор по существу незавершаемого ряда.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Операция «взять порядковый тип» работает над данной вполне упорядоченной совокупностью — этажом выше её. Вопрос «каков порядковый тип всех порядков?» требует, чтобы операция сработала над тотальностью собственных результатов: итог порождающего ряда положен ступенью того же ряда. Тождество: лестница не есть ступень; Непротиворечие: нельзя быть рядом и членом ряда в одном акте; Порядок — прямо по существу: порядок порядков — уровнем выше порядков, вертикаль не сминается.
Домен 4 — Сравнение: внутри хода корректно (Ω + 1 > Ω по определению порядка) — дефект не здесь.
Домен 5 — Вывод: при принятой посылке «Ω — предмет» обе линии безупречны. Проблема не в выводе.
Домен 6 — Рефлексия: противоречие двойное — возврат к домену 3: посылка «тотальность ординалов собрана» и есть дефект.
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней. Нарушенные законы: Тождество · Непротиворечие (ряд/член ряда) · Порядок (итог открытого порождения взят ступенью). Суть дефекта: открытая последовательность овеществлена в завершённый предмет и положена собственным членом: Ω ∈ Ω. На триаде E/R/R: Тотальность = элемент себя.
Растворение
«Ординала всех ординалов» нет — по роду, не по запрету: ряд порядков — процесс, открытый продолжению (за каждой ступенью — следующая: это и есть содержание Ω + 1 > Ω), а порядковый тип берётся у данного, завершённого, — не у порождения как такового. Развести уровни — противоречие не собирается: всякая данная совокупность ординалов имеет тип, лежащий выше её членов; «всё» типа не имеет, потому что «всё» здесь — правило продолжения, не совокупность. Собственные классы NBG и непостроимость Ω в ZF — формализации этой вертикали; Кантор сказал то же словом «инконсистентная множественность».
Урок
Об открытых рядах. Всякая порождающая лестница неподводима под итог-ступень: «наибольшего» нет не из-за скудости, а из-за открытости — сам жест «взять всё» рушит определение. О месте беды. Дефект не в трансфинитном (лестница ординалов цела и работает) — в категориальном чтении её итога. О старшинстве. Первый парадокс кризиса — на ординалах, где подмена видна чище всего: порядок порядков — очевидно уровнем выше.
Родня по механизму
Кантор (то же на мощностях: система всех систем), Рассел (минимальная форма), Лжец (та же фигура на истинности); дефектные соседи овеществления бесконечного — Отель Гильберта, Лампа Томсона.
Машинная проверка. Диагноз по триаде — Тотальность = элемент себя, решение — собственные классы: buraliforti_is_ill_formed (src/foundation/ParadoxDiagnosis.v); структурное растворение на уровнях: «уровня всех уровней» не существует — за каждым уровнем есть следующий (G3, no top level), трансфинитная индукция идёт по уровням без вершины: src/foundation/TransfiniteInductionLevel.v. Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс