Определения социализма не было не только у Горбачева, но и вообще ни у кого, включая "классиков". По всем формальным критериям "собственности на средства производства" социализма в СССР было полно, и больше не надо. Фраза "больше социализма" воспринималась в одном из двух значений:
1. "За все хорошее против всего плохого"
2. "Больше благ (желательно даром)"
> По всем формальным критериям "собственности на средства производства" социализма в СССР было полно, и больше не надо… .
Слово «формально» Вы употребили весьма уместно. Ведь «общественная собственность на средства производства» - это всего лишь следствие из основного закона социализма. Классики верно отметили, что основной закон экономики - экономия времени. Но не уточнили, что при капитализме имеется в виду экономия индивидуального времени, при социализме - общественного времени.