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

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