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

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