Глава 1. Восходящая башня роль-типов

Где стоит часть

Через весь том прошла одна разделяющая линия — граница финитизации. По одну её сторону — Элемент: завершающийся процесс, его терминус, конечно-актуальный и доказуемый без аксиом. По другую — предел-роль: незавершающийся процесс, чьё «значение» приближается, но не заполняется Элементом, и разговор о нём как о готовом объекте требует ровно Закона Исключённого Третьего¹. В Части X эта вторая сторона несла на себе «высокие» построения теории множеств — завершённое $\mathcal{P}(N)$, башню борелевских рангов, минимально-плохую последовательность теоремы Крускала, — и со стороны привычной классической упаковки выглядела как единая глухая стена: за нею якобы лежит завершённая актуальная бесконечность, без которой содержания не достать.

Настоящая часть оспаривает именно этот образ. Тезис прост и проверяем:

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

Это прямое продолжение линии тома. Число оказалось процессом-позицией, а не готовой точкой (Часть III); вещественное — процессом Коши, а не завершённым объектом (Часть IV); алгебраическое замыкание $\overline{Q}$ — порождающей башней без максимального этажа, а не достроенным полем (Часть XI); многообразие — процессом склейки, а не готовым многоточечным множеством (Часть XII). Настоящая часть добавляет к этому ряду саму иерархию: теоретико-множественный аналог тех же переобрамлений.

Флагман части: иерархия есть процесс.

Глава, которую вы читаете, — ядро части. Она строит самую башню и доказывает три её черты: башня строго растёт этаж за этажом, у неё нет вершины, и её высота есть ординал-процесс. Последующие главы градуируют подъём по глубине (Глава 2), прослеживают по нему детерминированность (Глава 3) и вполне-квази-упорядоченность (Глава 4) и собирают всё в свод (Глава 5).

Что глава фиксирует и что нет

Честность — с самого начала. Глава не строит завершённую кумулятивную иерархию $V_{\alpha }$, борелевскую или проективную башню как готовый объект: такой объект есть ровно та ZFC-упаковка, которую Часть X разметила как артефакт, а не как достижимое содержание².

Что глава доказывает точно — это структуру подъёма: что башня роль-типов строго восходит, порождающа и индексирована ординалом-процессом. Каждое из этих утверждений машинно проверено и не требует ни одной аксиомы³. Применения подъёма к «высоким» теоремам — и точная локализация того, докуда по нему удаётся доказуемо подняться, — предмет следующих глав, а полные борелевская детерминированность и теорема Крускала остаются честными горизонтами-подъёмами, а не достроенными объектами.

Итак: доказан подъём; не достраивается завершённый объект. Разница между ними и есть содержание части.

Башня роль-типов

Возьмём базовую роль тома — роль предиката над счётным носителем, функцию $N\to \{\text{да},\text{нет}\}$. Это та же роль, через которую несчётность вошла в Часть IV. Поставим её на ярусы.

Нулевой этаж — сам счётный носитель: натуральный ряд $N$. (В коде основания ярус считается от нуля — это техническая условность инструмента; для нас $N$ — первичный носитель, единица первична⁴.)

Этаж $k+1$ — пространство предикатов над этажом $k$: функций $(\text{этаж }k)\to \{\text{да},\text{нет}\}$. Это та же роль $N\to \{\cdots \}$, поднятая на ярус: вместо предикатов о числах — предикаты о предикатах, и так далее. Каждый следующий этаж есть пространство процессов-решений над нижележащим.

Этаж	Что это	Роль
$0$	носитель $N$	базовые элементы
$1$	предикаты над $N$ (роль $N\to \{\text{да},\text{нет}\}$)	процессы-решения о числах
$2$	предикаты над этажом $1$	решения о решениях
$⋮$	$⋮$	$⋮$
$k+1$	предикаты над этажом $k$	решения над этажом $k$

Башня кумулятивна и процессна: каждый этаж конечно-конструируем на своей ступени — его точка (предикат) есть процесс-нить, выдающая «да/нет» по запросу, — и ни один этаж не есть завершённый объект-множество. Это существенно: мы строим ярусы ролей, а не вложенные готовые множества.

Диагональ на каждом этаже: строгий подъём

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

Ни одно отображение с этажа $n$ на этаж $n+1$ не накрывает его целиком.

Доказательство — та же диагональ Кантора, поднятая на ярус. Пусть $f$ сопоставляет каждой точке этажа $n$ предикат этажа $n+1$. Построим предикат $g(x)=\neg (f(x))(x)$ — «отрицание того, что $f$ от $x$ говорит о самом $x$». Тогда $g$ не совпадает ни с одним $f(x)$: они расходятся в точке $x$. Значит $f$ не сюръективно, и этаж $n+1$ строго шире этажа $n$⁵.

При $n=0$ это в точности знакомое: нет перечислителя $N\to (N\to \{\cdots \})$, то самое ядро несчётности из Части IV. Новое здесь — что та же диагональ работает на каждом этаже, и потому башня растёт без остановки: подъём не выдыхается на первом шаге.

Нет вершины: порождающая структура

Из диагонали на каждом этаже немедленно следует, что у башни нет верхнего этажа: над любым этажом $n$ есть строго больший, не накрываемый сюръективно снизу⁶.

Это та же черта, что у $\overline{Q}$ в Части XI (нет максимального корневого этажа) и у многообразия-процесса в Части XII (нет завершающей карты): структура порождающая, а не достроенная. Спрашивать «каков верхний этаж башни?» — значит требовать от порождающего процесса быть завершённым объектом; такого этажа нет не по нашей слабости, а по самому устройству подъёма.

Башня роль-типов порождающа в точности так же, как $\overline{Q}$ и многообразие: над любым достигнутым — ещё один, и вершины нет.

Высота как ординал-процесс

Чем индексируется подъём? Этажи нумерует натуральный ряд, но сама высота башни — это не число. Высота есть $\omega$, а $\omega$ в нашем основании задано как предел процесса: ординалы суть процессы, и $\omega$ есть ровно «предел нумерующего процесса этажей»⁷. Таким образом высота башни сама есть ординал-процесс, а не достигнутое наибольшее значение.

И этот индекс не замыкается: поток высот неограничен — за любой границей найдётся более высокий этаж⁸. По дихотомии уровня, разобранной в основании, — ограничен значит Элемент, неограничен значит предел-роль, — замыкание башни лежит на стороне предела-роли: оно достижимо лишь как процесс, и никогда — как завершённый этаж-Элемент.

Высота башни — ординал-процесс $\omega$, а не число; её замыкание — предел- роль, а не объект. Здесь и видно, чем «иерархия как процесс» отличается от классической «иерархии как объекта»: индекс подъёма сам процессен.

E/R/R-разбор: башня как система

Башня роль-типов сама есть система в смысле ToS, и её следует разобрать по E/R/R. Эпистемически мы шли снизу — от этажей к правилу подъёма; онтологически структура порождается в обратном, порождающем порядке: Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — правило подъёма: следующий этаж есть пространство предикатов (роль-тип) над предыдущим, а диагональ вынуждает строгий рост (ни один этаж не перечисляет следующий). К нему примыкает правило индексации: высота берётся как предел процесса ($\omega$), а не как завершённая верхняя грань. Правило стоит уровнем выше этажей и порождает их один за другим.

Roles (L4). Каждый этаж есть роль-тип над предыдущим — роль, назначаемая правилом подъёма, а не предсуществующее множество. Высота играет роль ординала-процесса. Диагональный предикат играет роль свидетеля подъёма: именно он показывает, что роль следующего этажа не сводится к ролям нижнего. Обоснование позиций структурой: «этаж» определяется не своей природой, а своим отношением к правилу — что он есть пространство решений над нижележащим.

Elements (L1 + P4). Носители — конечные ступени: точки этажей, каждая из которых конечно-конструируема и есть процесс-нить (предикат, отвечающий «да/нет» по запросу). Актуализация под P4 конечна: актуальны ступени и этажи, достигнутые конечным построением; $\omega$-замыкание башни не актуализуется как этаж-Элемент — оно есть предел-роль. Это и придаёт всей башне процессный характер.

Проверка сформированности. Каждый компонент попадает ровно в одну категорию: правило подъёма — Rule, этаж и высота — Roles, точки-ступени — Elements; ни один не отнесён к двум сразу. Самоприменения, запрещённого P1, не возникает: правило подъёма стоит уровнем выше этажей и не есть один из них — башня не содержит саму себя как этаж.

{ Что даёт разбор. Во-первых, он показывает, что вопрос «насколько велика иерархия?» есть смешение категорий: он требует от процесса-подъёма быть завершённым Элементом-объектом, тогда как иерархия есть процесс. Корректный вопрос иной — докуда удаётся доказуемо подняться; и на него отвечают рунг за рунгом следующие главы, а не одно завершённое «всё». Во-вторых, разбор объясняет, почему подъём конструктивен: правило, этажи и высота строятся без обращения к завершённому объекту, и требование завершённой бесконечности — если оно вообще возникает — относится лишь к завершённому пределу, а не к самому подъёму (Глава 2 покажет, что и это требование само градуировано).}

{ Тем самым линия, начатая числом-как-процессом (Часть III) и принципом P4 (Часть IV) и продолженная башней $\overline{Q}$ (Часть XI) и многообразием-процессом (Часть XII), приходит к иерархии: сторона предела-роли — восходящий ординал-процесс, порождающий и незавершимый. В следующей главе мы увидим, что этот подъём ещё и градуирован глубиной — что вопрос на каждом этаже требует ровно определённой меры «завершённой бесконечности», и эта градация видна лишь под P4.}

---

---

Часть: Часть XVIII. Процессная иерархия · Том: «Математика»

Навигация: ← Глава 7. Принцип неопределённости в информации — Часть XVII · Глава 2. Глубина = рунг всеведения →

Footnotes

1. Совпадение границы финитизации с границей конструктивности — предмет заключительного синтеза тома (Часть XX); здесь оно используется как установленный фон. ↩

2. Реестр «бывших стен» тома сводит вердикт: из классических «высоких» построений единственный подлинно запрещённый P4-объект есть сама завершённая актуальная бесконечность; остальное либо достигнуто как операция-роль, либо строится как процесс. Свод машинно проверен (0 аксиом). ↩

3. Ядро главы — файл ProcessHierarchyCore; все его утверждения проверены полностью, с пустым списком используемых аксиом (Print Assumptions — «закрыто под глобальным контекстом»). Это сторона Элемента: конструкция и диагональ, без L3 и без конечного свидетеля. ↩

4. Нумерация этажей от нуля и старт $N$ с нуля в Rocq — конвенция инструмента, не онтологическое утверждение; содержательно нулевой этаж есть носитель $N$. ↩

5. Утверждение «нет сюръекции с этажа $n$ на этаж $n+1$» — теорема cantor_level, машинно проверена, 0 аксиом. Это обобщение диагонали несчётности (cantor_bool_seq) с одного яруса на каждый. ↩

6. Теорема no_maximal_level, машинно проверена, 0 аксиом. ↩

7. Высота башни совпадает с $\omega$, заданным как предел процесса индексов (tower_height_is_limit_process); ординалы формализованы как процессы — предельный ординал есть предел последовательности-процесса, а не завершённое число. Машинно проверено, 0 аксиом. ↩

8. tower_height_unbounded: высота как монотонный поток превосходит любую наперёд заданную границу. 0 аксиом. ↩