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

Множество как система, а не объект: сравнение мощностей без выбора, переинтерпретация аксиомы выбора, ординалы как процессы.

Главы:

1. Глава 1. Множество как Система, а не объект
2. Глава 2. Счётность конструктивна; несчётность — правило о процессах
3. Глава 3. Сравнение мощностей без выбора: Шрёдер–Бернштейн и теорема Кантора
4. Глава 4. Аксиома выбора: запрет и переинтерпретация
5. Глава 5. Ординалы как процессы; башня сильных аксиом (ATR_0, ^1_1) и её снятие
6. Глава 6. Синтез Части X: что доказуемо без выбора, и карта границ

---

Том: «Математика» · Направление: Математика