Глава 4. Построить или назвать

Где стоит глава

Три главы провели и обжили границу финитизации. Первая зафиксировала линию и её совпадение с границей конструктивности; вторая уточнила дальнюю сторону как неограниченный процесс, а не обрезание; третья сжала ближнюю сторону в одну $2\times 2$ матрицу с одним вентилем. Граница сортирует объекты.

Но весь том ставит вопрос острее — онтологический. Из всего, что математика производит, что теория по-настоящему строит — с процессным свидетелем, — а что лишь называет: консистентный объект выбранной теории множеств, у которого нет Element-референта? Граница глав 1–3 говорила об объектах, заданных правилом порождения; здесь мы сортируем по тому, что теория с ними делает.

{ Флагман: трёхзначный вердикт — на уровне всей книги. Element-ядро (строит: есть процессный свидетель, 0 выбора); role-limit-инструмент (держит как устранимые леса: неконструктивно, но консервативно — значит устранимо и что-то доставляет); иллюзорное (лишь называет: консистентно в ZFC, но без Element-референта и без роли лесов). Якорь-теорема одна — Банах–Тарский.}

И сразу рамка: ничего иллюзорного мы не постулируем как Element; мы сортируем книгу и для флагмана доказываем несовместимость с Element-мерой.

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

{ Честность здесь нужна особенно. Вердикт — это реестр-синтез поверх всей книги плюс одна якорная теорема (Банах–Тарский). Он не передоказывает классическую AC-зависимость базиса Гамеля, множества Витали, вполне-порядка $R$ — она цитируется. И «иллюзорное» здесь — технический термин ToS: объект может быть теоремой ZFC, но не иметь Element-референта в процессной онтологии; это не утверждение о противоречивости или ложности внутри ZFC.}

Что до стороны «строит»: обзор ниже цитирует флагман каждой части, а тезис «большая часть тома — Element-ядро» есть наблюдение по машинно проверенным инстансам, не метатеорема¹. Уровень главы — честная сортировка, подкреплённая проверенным реестром, а не новое притязание.

Три класса: строить, держать как леса, называть

Каждая конструкция в реестре главы получает ровно один из трёх статусов².

Element-ядро (строит). Есть процессный свидетель, 0 выбора. Теория конструирует объект; он актуализуется на каждой конечной ступени. Это завершающийся процесс или прямо предъявимая конструкция.

role-limit-инструмент (держит как леса). Нужен классический принцип — выбор, ультрафильтр или Закон Исключённого Третьего (это разные уровни цены), но конструкция консервативна — в соответствующем метатеоретическом смысле, для стандартных утверждений рассматриваемого языка стандартное следствие, полученное через неё, имеет стандартное доказательство (Хенсон–Кейслер). Значит леса устранимы и при этом доставляют Element-следствие. Свободный ультрафильтр, поле ${}^{\ast }R$ (Часть XIX).

иллюзорное (называет). Нужен выбор, нет свидетеля, и это не устранимые леса — оно не доставляет ни Element-свидетеля, ни устранимой опалубки для рассматриваемого класса Element-результатов (хотя в самой ZFC может иметь следствия). Базис Гамеля, множество Витали, вполне-порядок $R$, Банах–Тарский.

Ключевое различение строить$/$называть: леса устранимы и что-то доставляют; фантом не доставляет ни Element-свидетеля, ни устранимой опалубки — хотя в самой ZFC у него могут быть следствия.

В реестре теоретико-множественных допущений на ту же role-limit-сторону отнесены степенное множество и выбор³ — то есть сама лестница, на которой живут фантомы, помечена как сторона лесов, не Element.

Что Том II строит

Главное — позитивное: большая часть тома есть Element-ядро, построенное с процессным свидетелем. Пройдём книгу.

• Число — позиция-роль, $\sqrt{2}$ — процесс приближений, не готовая точка (Часть III)⁴;
• $R$ — процесс Коши, а не завершённый объект (Часть IV и далее);
• группа Галуа $Q[\sqrt{2},\sqrt{3}]$ — процесс-башня расширений с четырьмя различными автоморфизмами (Часть XI)⁵;
• многообразие — процесс карт (Часть XII);
• гипотеза Римана — неподвижная точка отражения критической полосы (Часть XIII), структурно: само отражение есть изометрия, не сжатие⁶;
• вычисление — финитизация; остановка — role-limit (Часть о вычислениях)⁷;
• функция — процесс, не готовый граф (Часть XVI);
• исчисление нестандартного — тень $\mathrm{st}$ над ростками (Часть XIX)⁸.

У каждого пункта есть проверенный Element-фрагмент или структурный якорь своей части — но не каждый есть полная классическая теорема в традиционном смысле (для гипотезы Римана это структурный фрагмент, не доказательство RH). Это и есть основной объём тома: не названо, а построено.

Что Том II лишь называет; флагман Банах–Тарский

{ Теперь сторона «называет». Базис Гамеля, множество Витали, вполне-порядок $R$ — каждое требует полного выбора, не имеет определимого свидетеля (классическая AC-зависимость цитируется, не передоказывается) и не служит устранимой опалубкой: Element-свидетеля не доставляет. Фантомность при этом разного типа: Витали и Банах–Тарский ломают измерительный референт; базис Гамеля не имеет канонического процессного свидетеля; вполне-порядок $R$ задаёт выборный порядок без Element-процедуры. Теория размещает их как артефакты выбранной теории множеств — снимает претензию на Element-референт, что значит «нет описуемого, Element-измеримого свидетеля», а не «ложно в ZFC».}

Флагман — единственная иллюзорная конструкция с доказанной теоремой. Парадокс Банаха–Тарского заявляет: шар режется на конечно много кусков и собирается движениями в два шара. Если бы ненулевая, движение-инвариантная, конечно-аддитивная Element-мера была определена на всех кусках разложения, удвоение дало бы $\mu =\mu +\mu$, откуда $\mu =0$ — противоречие⁹. Значит куски не имеют Element-референта как измеримые геометрические куски — вот почему парадокс иллюзорен на Element-стороне. Честно: мы не утверждаем «Банах–Тарский ложен в ZFC» (в ZFC$+$AC он теорема); растворение — на уровне референта.

Этот вердикт уже работал в нестандартной части (Глава 6 Части XIX, реестр конструкций «за границей»); здесь он — книга-широкая сортировка: устранимые леса против фантома, поверх всего, что том произвёл.

E/R/R-разбор: вердикт как система

Сам вердикт есть система в смысле ToS; разберём по E/R/R в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — трёхзначный вердикт {Element-ядро / role-limit / иллюзорное} по критерию «строить или называть»: есть ли процессный свидетель; устранимы ли леса и доставляют ли они; ни того, ни другого. Флагман-правило: $\mu =2\mu \Rightarrow \mu =0$.

Roles (L4). Статус-построения, статус-лесов, статус-имени — три роли каждой конструкции; роли-диагностики — нужен ли выбор, есть ли свидетель, устранимость; Element-мера — роль-сохранение, отсекающая фантом.

Elements (L1 + P4). Носители — конкретные конструкции книги и $Q$-мера флагмана. Под P4 актуальны Element-ядро (процессы) и диагностики; иллюзорные «объекты» (куски Банах–Тарски, неизмеримое Витали) — ровно то, что P4 не актуализирует.

Проверка сформированности. В конечном реестре главы статусы заданы как дизъюнктные — каждая конструкция получает ровно один; пересечений нет. Вердикт как система: «куски» (Elements) объявляются меросохраняющими (Roles), но Element-сохранение это запрещает (Rules) $\Rightarrow$ куски без референта $\Rightarrow$ система-фантом.

Что даёт разбор. Он отделяет построенное (процесс) от устранимых лесов (role-limit, консервативность) и от названного фантома (иллюзорное) — поверх всей книги, с одной якорной теоремой. И показывает, где проходит онтологический шов тома: не между «полезным» и «бесполезным», а между тем, что теория строит, и тем, что она лишь называет.

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

---

---

Часть: Часть XX. Заключительный синтез · Том: «Математика»

Понятия: Парадокс

Навигация: ← Глава 3. Редукционный атлас · Глава 5. Карта Тома II: всё — процесс →

Footnotes

1. Каждый цитируемый результат проверен в своей части; Element-сторона 0-аксиомна, как показала Глава 1 (контраст конструктивного ядра и классически-нагруженной стороны предела-роли). Универсальность формы вердикта — осмысление, а не доказанная универсальная теорема. ↩

2. Трёхзначный вердикт — функция на перечислении конструкций (illusory_constructions_summary, 8 Qed): иллюзорное $\Rightarrow$ нужен выбор, нет свидетеля, не леса; Element-ядро $\Rightarrow$ 0 выбора, есть свидетель; role-limit $\Rightarrow$ консервативные леса. Машинно проверено, 0 аксиом. ↩

3. zfc_axiom_ledger (в ZFCAxiomLedger, 10 Qed): степенное множество и выбор размещаются как role-limit-ступени. Машинно проверено, 0 аксиом. ↩

4. $\sqrt{2}$ не достигает рационального значения — no_rational_sqrt2 (analysis/Sqrt2Irrational). Это доказательство незавершаемости, конструктивное; Element-сторона 0-аксиомна. ↩

5. galois_group_four_distinct (algebra/): $V_4$ как четыре различных автоморфизма; $\overline{Q}$ дана как восходящий процесс, не как готовая стена. ↩

6. RH_critical_strip_symmetric, reflect_zero_nontrivial (zeta/ContractionZeros). Это структурное прочтение (нуль формально $=$ Коши $\wedge$ критическая полоса); аналитическое функциональное уравнение — горизонт (Глава 6). ↩

7. Файл cs/HaltingRoleLimit (13 Qed, 0 аксиом): та же диагональ, что в несчётности. ↩

8. nonstandard_synthesis (nonstandard/, 10 Qed): один корень $\to$ три формы зазора. Машинно проверено, 0 аксиом. ↩

9. banach_tarski_contradicts_measure (свод illusory_constructions_summary): $\mu =p_1+p_2$, $p_1=\mu$, $p_2=\mu$ влекут $\mu =0$. Машинно проверено, 0 аксиом. ↩