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

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