Глава 2. Счётность конструктивна; несчётность — правило о процессах

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

Центр Части X

Глава 10.1 переставила онтологию: множество есть роль-Система, принадлежность — роль. Настоящая глава применяет это к двум понятиям, которые классика держит за размеры завершённых множеств — счётности и несчётности. Школьная картина такова: $N$ и $Q$ имеют размер ${\aleph }_0$, континуум — размер $2^{{\aleph }_0}$, и это свойства готовых объектов, кардиналы-числа.

ToS читает оба понятия не как размеры, а как правила о процессах:

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

Ни то ни другое не есть кардинал-объект. Диагностика та же, что в Главе 4.4 («несчётность как правило»), теперь на уровне самой теории множеств: ${\aleph }_0$ и $2^{{\aleph }_0}$ как вещи — это овеществлённая роль сравнения.

Интеллектуальный гвоздь: асимметрия аксиомной цены

Главное наблюдение главы — асимметрия: счётность ℚ и весь диагональный результат над $2^N$ конструктивны (0 аксиом; Countability_Q.v даже не подключает классическую логику), тогда как несчётность завершённого континуума опирается на классическую логику (L3).¹ Граница, где конструктивное переходит в классическое, — это в точности граница между конечной стадией процесса и завершённым континуумом. L3 не нужен для самой диагональной схемы $\forall f$ над двоичными процессами — она конструктивна; он входит лишь в вещественной трисекционной версии, где предел вложенных отрезков актуализируется как завершённая точка континуума. Граница финитизации совпадает с границей конструктивности — это пройдёт сквозь всю главу.

Счётность и несчётность — роль-режимы сравнения, а не размеры завершённых множеств. Конструктивное ядро (обход ℚ, диагональный шаг) свободно от аксиом; классическая логика входит ровно там, где появляется завершённый континуум.

Счётность как правило-обход (конструктивно)

Что $Q$ «счётно», в ToS означает: есть явный обход — биекция между $N$ и рациональными. Её строит дерево Калкина–Уилфа: каждый положительный рациональный получается из $1/1$ единственным конечным путём левых/правых шагов, и нумерация узлов $1,2,3,\dots$ перечисляет все несократимые положительные дроби ровно по одному разу.² Знак добавляется тривиально, и обход покрывает все $Q$.

Существенно как это понимается. Счётность — не утверждение «$Q$ есть множество размера ${\aleph }_0$», а правило: вычислимая процедура, сопоставляющая каждому рациональному уникальный номер и каждому номеру — рациональное. Это процесс, который можно исполнить: дайте номер — верну дробь; дайте дробь — верну номер. Никакой завершённой совокупности «всех рациональных как объекта» для этого не требуется; нужен лишь конечно-шаговый обход. Поэтому счётность ℚ не стоит ни одной аксиомы: ни выбора, ни бесконечности, ни даже исключённого третьего.

Счётность — роль «быть перечислимым», реализованная конструктивным правилом-обходом (enum_QPos); это исполнимая процедура, а не ярлык размера готового множества.

Диагональ как правило различения

Перейдём к двоичным процессам — функциям $N\to \{0,1\}$ (или $N\to \mathtt{bool}$). Пусть $f$ — любое перечисление таких процессов, $f:N\to (N\to \mathtt{bool})$. Построим диагональ: процесс $d$, который в точке $n$ берёт значение $f(n)$ в той же точке $n$ и переворачивает его,

$$d(n)=\mathrm{flip}(f(n)(n)).$$

Тогда $d$ отличается от каждого $f(n)$ хотя бы в точке $n$: по построению $d(n)\ne f(n)(n)$.³

Диагональ — это правило, а не размер. Дайте ей перечисление — она вернёт свежий процесс, которого в перечислении нет. Она работает как опровергатель: порождает различие на заказ, конструктивно, одним переворотом бита на каждой стадии. Здесь ещё нет ни «несчётного множества», ни кардинала — есть лишь процедура, которая для любого $N$-индексированного перечисления строит процесс, отличный от каждой строки; на каждом конечном фронте это видно как конечный набор уже предъявленных различий.

Диагональ — роль-опровергатель: правило, конструктивно порождающее процесс, отличный от каждого перечисленного. На этом уровне — 0 аксиом, чистый порождающий шаг.

Несчётность как правило о процессах

Из diagonal_differs немедленно следует: ни одно перечисление не исчерпывает двоичные процессы — для любого $f$ диагональ $d$ не равна никакому $f(n)$. Это и есть канторов результат над $2^N$.⁴ Здесь $2^N$ — пространство двоичных процессов, а не уже построенное степенное множество $\mathcal{P}(N)$ в ZFC-смысле (этот мотив продолжит 10.3). Для действительных чисел работает тот же приём в непрерывной форме — трисекция: по любому перечислению точек $[0,1]$ строится вложенная последовательность отрезков, отсекающая каждую перечисленную точку, и её предел лежит в $[0,1]$, но вне перечисления. Так доказывается, что отрезок несчётен.⁵

Вот где проходит честная граница — и она лежит не между «шагом» и «квантором», а между дискретными двоичными процессами и завершённым вещественным континуумом. Над $2^N$ всё конструктивно, включая квантор $\forall f$: binary_processes_not_enumerable и cantor_for_processes доказываются чистым применением 0-аксиомной diagonal_differs, без L3. Классическая логика входит лишь в вещественной трисекционной версии: геометрическая идея шага конструктивна, но формальная теорема несчётности $[0,1]$ использует L3 — когда предел вложенных отрезков актуализируется как готовая точка континуума, а равенство/различие предельных вещественных процессов требует классического разрешения. Иными словами: весь дискретный диагональный результат над $2^N$ свободен от аксиом; L3 отмеряет ровно переход к завершённому континууму.

Несчётность, стало быть, — не размер $2^{{\aleph }_0}$ некоторого готового множества, а правило: «процессы сопротивляются всякому перечислению». Над двоичными процессами это правило конструктивно целиком; закон исключённого третьего нужен лишь там, где оно формулируется о завершённом вещественном континууме.

Несчётность — роль «сопротивляться перечислению»: для любого обхода правило-диагональ порождает процесс вне его. Над $2^N$ оно конструктивно целиком (0 аксиом); завершённое утверждение о вещественном континууме классично (L3). Граница финитизации есть граница конструктивности.

E/R/R-разбор

Слой	Содержание
Rules (L5)	правило-обход (перечисление-биекция, Калкин–Уилф); правило-различение (диагональ над битами, трисекция над отрезками)
Roles (L4)	счётность$=$роль «перечислимое»; несчётность$=$роль «сопротивляется перечислению»; диагональ$=$роль-опровергатель
Elements (L1$+$P4)	на каждой стадии — конечное данное: рациональное (узел дерева), конечный бит/путь, вложенный отрезок; «несчётное множество» завершённым Элементом не является

Корректность. Обход корректен как биекция (инъективность$+$сюръективность, Q_positive_countable); диагональ корректна как тотальная функция, отличная от каждой строки (diagonal_differs).

Что даёт. Счётность ℚ — исполнимая процедура (0 аксиом); канторов результат над $2^N$ — следствие 0-аксиомной диагонали; несчётность завершённого $[0,1]$ — классическая теорема (L3).

Диагностика. В P4-онтологии ToS ${\aleph }_0$ и $2^{{\aleph }_0}$ как кардинал-объекты — овеществление роли сравнения. Вопрос «каков размер континуума как вещи» подменяет роль (сопротивление перечислению) Элементом (число-кардинал).

Честные границы. Асимметрия аксиом не косметична: конструктивное ядро (обход, диагональный/трисекционный шаг) и классическая надстройка (завершённый континуум, квантор по всем перечислениям) разделены ровно границей P4. Завершённых $\aleph$-кардиналов ToS не строит; «мощность континуума как число» здесь не объект, а роль-предельный вопрос.

Счётность — конструктивное правило-обход; несчётность — правило-сопротивление с конструктивным шагом и классическим завершением. Кардиналы-числа — овеществлённые роли сравнения, не Элементы.

Итог и переход

Счётность и несчётность перестали быть размерами готовых множеств. Счётность ℚ есть конструктивный обход (enum_QPos, 0 аксиом); несчётность есть правило-диагональ (diagonal_differs, 0 аксиом на шаге), доводимое до завершённого утверждения о континууме классической логикой (unit_interval_uncountable_trisect_v2, L3). Граница финитизации совпала с границей конструктивности — наблюдение, к которому Часть X будет возвращаться.

Глава 10.3 сделает следующий шаг: сравнение мощностей без аксиомы выбора. Если счётность и несчётность — роли, то их упорядочение (инъекция как «$\le$») есть правило; Шрёдер–Бернштейн делает это $\le$ антисимметричным с точностью до биекции, а общая теорема Кантора показывает, что максимальной мощности нет — и всё это без выбора.

Счётность есть исполнимый обход, несчётность — сопротивление перечислению; обе суть правила о процессах, а не размеры завершённых множеств. Конструктивное ядро свободно от аксиом; классическая логика отмеряет ровно завершённый континуум — ни шагом больше.

---

---

Часть: Часть X. Теория множеств без аксиомы выбора · Том: «Математика»

Навигация: ← Глава 1. Множество как Система, а не объект · Глава 3. Сравнение мощностей без выбора: Шрёдер–Бернштейн и теорема Кантора →

Footnotes

1. Счётность: Countability_Q.v, заголовок «AXIOMS: NONE (not even classic!)». Диагональ: diagonal_differs (ProcessDiagonal.v) — файл явно печатает Print Assumptions и получает «Closed under the global context». Несчётность $[0,1]$: unit_interval_uncountable_trisect_v2 (ShrinkingIntervals_ERR.v) использует classic (L3). ↩

2. enum_QPos (Countability_Q.v): $N\to$ несократимые положительные пары; enum_injective и enum_surjective дают биекцию, собранную в Q_positive_countable; знаковое расширение на все $Q$ — enum_Q. Полностью конструктивно, 0 аксиом. ↩

3. diagonal и diagonal_differs (ProcessDiagonal.v): $\forall fn,\neg ‘b{p}_{e}q‘(‘diagonal‘f)(fn)$. Используется только инволютивность flip (булева отрицания); 0 аксиом — файл это печатает. ↩

4. binary_processes_not_enumerable и cantor_for_processes (ProcessDiagonal.v) — оба опираются на 0-аксиомную diagonal_differs. ↩

5. unit_interval_uncountable_trisect_v2 (ShrinkingIntervals_ERR.v) — главная теорема файла: $[0,1]$ несчётен. Здесь уже используется classic (L3). ↩