Что является результатом формализации решения (47/48)

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