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

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