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

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