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

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