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

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