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

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