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

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