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

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