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

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