Меню Закрыть

Глава 1. Множества и мультимножества

1.1. Начальные множества

1.1.1. Грамматика теории множеств

1.1.2. Рекурсия и индукция

1.1.3. Первые архетипы

1.1.4. Финальные дополнения к языку

1.1.5. Равенство, принадлежность и объекты теории

1.1.6. Скобочная запись множеств

1.1.7. Числа грамматики

1.1.8. «Начальные» мультимножества

1.1.9. Универсальные множества и универсальный код

1.1.10. Теорема Гудстейна

1.2. Аксиоматика Цермело–Френкеля

1.2.1. Равенство и единственность

1.2.2. Ограничительные аксиомы

1.2.3. Первая бесконечность

1.3. Основные инструменты

1.3.1. Порядок отношений и отношения порядка

1.3.2. Трансфинитная рекурсия

1.3.3. Перечень инструментов

1.4. Универсумы и мультимножества