Путь Б — формализация УГМ
Для теорем структурного ядра (AFN-T, 55.T–87.T, 98.T–99.T, 100.T–102.T) нормативным источником при Verum-формализации служит *MSFS* (internal/math-msfs/paper-en/paper.tex)afnt-alpha, thm:five-axis, и т. д.). Diakrisis-специфические конструкции (канонический примитив, 13 аксиом, gauge, maximality proofs 103.T–106.T через T-2f\* и Яновский 2003) формализуются отдельно по /06-limits/10-maximality-theorems.
Verum-интеграция
Статус