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

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