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

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