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

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