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

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