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

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