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

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