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

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