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

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