Функции
Порядковые отношения
Группы - определение
Кольца и поля - определение
Алгебра над кольцом
Числа
Сюрреальные числа
Виды пространств
Отношение формулы к аксиоматике
Логическая независимость формулы
Задача о семи мостах Кёнигсберга
Ординалы - сумма и произведение
Аксиома выбора и аксиома детерминированности
Целые числа - построение
Рациональные числа - построение
Геометрия на сфере
Корневые непомеченные деревья на 4 вершинах
Посаженные деревья на 4 вершинах
Помеченные некорневые деревья на 4 вершинах
Рекурсивные деревья на 4 вершинах
Помеченные графы на 3 вершинах
Дерево решений
Последовательность и граф де Брёйна
Гигантская компонента в случайном лесе Гальтона-Ватсона