Обзор канонического примитива
Что это
Четвёрка (⟪⟫, 𝖬, α_math, ⊏_•) — подробно
Статус
Аксиоматика (Axi-0..Axi-9 + T-α + T-2f*)
Статус
Производные понятия
Статус
Центральные теоремы
Статус
Теоретико-доказательственная сила
Статус
Вероятностно-мерная структура
Статус
Категорификация
Статус
Производные структуры
Статус
Консервативность
Статус