Результатом формализации является (2/37)

Результатом формализации является