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

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