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

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