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

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