partial formalization

Мат. частичная формализация