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

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