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

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