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

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