Введение 9
Глава 1. Множества и мультимножества 13
1.1 Начальные множества 13
1.1.1 Грамматика теории множеств 13
1.1.2 Рекурсия и индукция 25
1.1.3 Первые архетипы 26
1.1.4 Финальные дополнения к языку 27
1.1.5 Равенство, принадлежность и объекты теории 29
1.1.6 Скобочная запись множеств 33
1.1.7 Числа грамматики 39
1.1.8 «Начальные» мультимножества 41
1.1.9 Универсальные множества и универсальный код 44
1.1.10 Теорема Гудстейна 50
1.2 Аксиоматика Цермело–Френкеля 55
1.2.1 Равенство и единственность 55
1.2.2 Ограничительные аксиомы 59
1.2.3 Первая бесконечность 65
1.3 Основные инструменты 71
1.3.1 Порядок отношений и отношения порядка 71
1.3.2 Трансфинитная рекурсия 84
1.3.3 Перечень инструментов 98
1.4 Универсумы и мультимножества 99
Глава 2. Числа 107
2.1 Арифметика порядковых чисел 108
2.1.1 Сложение 108
2.1.2 Умножение 111
2.1.3 Степень 115
2.1.4 Разложения ординалов 117
2.1.5 Доказательство теоремы Гудстейна 119
2.1.6 «Начальные» мультимножества 120
2.2 Кардинальная арифметика 121
2.3 Немного теории чисел 125
2.4 Числовые структуры 132
2.4.1 Группы, кольца, поля 134
2.4.2 Целые числа 139
2.4.3 Рациональные числа 144
2.4.4 Поле действительных чисел 149
2.4.5 Гипердействительные числа 157
2.4.6 Сюрреальные числа 168
2.4.7 Поле комплексных чисел 181
Глава 3. Дальнейшие обобщения чисел 195
3.1 Окно в общую алгебру 195
3.1.1 Архетип переноса свойств на базовое множество 196
3.1.2 Алгебраические структуры 197
3.1.3 Алгебра множеств 199
3.1.4 Немного теории групп 204
3.1.5 Идеалы, модули, базис 218
3.2 Матричное представление чисел 232
3.3 Гауссовы целые числа 238
3.3.1 Делимость и простые числа 239
3.3.2 Некоторые приложения гауссовых чисел 242
3.4 Целые числа Эйзенштейна 244
3.5 Линейные пространства и операторы 249
3.6 Экскурс в геометрию 261
3.6.1 Движения в действительном пространстве 264
3.6.2 Движения в R3, кватернионы 268
3.6.3 Подобия в действительных пространствах 280
3.6.4 Аффинные преобразования и однородные координаты 281
3.6.5 Проективная геометрия 283
3.6.6 Нестандартные геометрии 295
3.6.7 Геометрия на сфере 301
3.7 Многочлены 308
3.7.1 Конечные алгебраические расширения 310
3.7.2 Свойства многочленов 314
3.7.3 О построениях циркулем и линейкой 320
3.7.4 Нормальные расширения 322
3.7.5 Элементы классической теории Галуа 323
3.8 Группы: завершающий аккорд 329
3.9 Числовые архетипы 331
Глава 4. Матлогика. Исчисления I 335
4.1 Исчисление высказываний и предикатов 335
4.1.1 Исчисление высказываний 335
4.1.2 Исчисление предикатов 340
4.1.3 Модели 349
4.1.4 Ультрастепени 353
4.1.5 Примеры формальных теорий 356
4.2 Аксиома выбора: полезная и странная 366
4.2.1 Полезные следствия аксиомы выбора 375
4.2.2 Странные следствия аксиомы выбора 377
4.2.3 О сверхбольших кардиналах 381
4.2.4 Конкурент AC: аксиома детерминированности 385
4.2.5 Промежуточный итог 389
4.3 Вычислимость и доказуемость 390
4.3.1 Нестрогое введение в теорему Гёделя о неполноте 390
4.3.2 О вычислимости, разрешимости, перечислимости 391
4.3.3 Про сигма-определимость 396
4.3.4 Доказательство теорем Гёделя 399
4.3.5 Несколько слов о рекурсиях 405
Глава 5. Анализ. Исчисления II 413
5.1 Пространства и отображения 413
5.1.1 Связность и непрерывность 414
5.1.2 Непрерывность и группы 421
5.1.3 Фильтры и пределы 429
5.1.4 Компактность 430
5.1.5 Метрика 431
5.1.6 Норма и скалярное произведение 436
5.1.7 Ограниченные операторы 440
5.1.8 Псевдометрика 442
5.1.9 Мера и интеграл 445
5.2 Преобразования пространств 456
5.3 Конечные разности и вариации 460
5.3.1 Смещения и разности 460
5.3.2 Пространство смещений 461
5.3.3 Целочисленные разности 464
5.3.4 Вариации и дифференциалы 472
5.3.5 Вариационное исчисление 476
5.4 Вероятности 492
5.4.1 Классическая вероятность 492
5.4.2 Квантовая вероятность 508
5.4.3 Общий алгебраический подход 523
5.5 Несколько слов об общей картине 529
Глава 6. Графы 531
6.1 Подходы к определению 531
6.2 Обычные графы 538
6.2.1 Разнообразие деревьев 548
6.3 Вероятности на графах 559
6.3.1 Модель Эрдёша–Реньи 562
6.3.2 Случайные деревья и леса 567
Финал 583
Приложение A. Указатель архетипов 587
Приложение B. Схемы и таблицы 591
Приложение C. Листинги программ 597
Список литературы 603