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

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