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

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