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

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