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

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