[bobby_ii]

Подавление ошибки, вызванной нелинейностью, и есть линеаризация.
Непонятная игра терминами.

Это у тебя в голове оно непонятное. У меня всё понятное. Просто надо разделить усиление и подавление и понять, что подавление происходит рекурсивно, усиление ошибки - вон тем кривым усилителем, чем кривее усилитель - тем выше рекурсивная ошибка - тем хуже подавление изначальной, ... .
"Линеаризация" - и то в кавычках - лишь следствие и еще раз: не линеариазиция, а подавление ошибки. Ошибка может быть вызвана ЧЕМ УГОДНО - шум, наводки, ... , в том числе - продукты кривого усиления. Ее подавление никак не зависит от природы ее возникновения и сигнала, что и отражено на схеме.
Раздели процессы. Схема и формулы относятся только к СТАТИЧЕСКОМУ механизму подавления. А ИСКАЖЕНИЯ относятся к ДИНАМИЧЕСКОМУ СИГНАЛУ.

от искажений во входном каскаде - нет. А ведь он - эталонный. По его кривизне весь усилитель сверяется.

Совершенно верно. входной каскад - еще и "сумматор". Даже в инверте его БЭ участвует в сравнении. Только не надо забывать, что сигнал на этом БЭ УМЕНЬШЕН в М/К раз. Вносимые им искажения - соответственно. Так чего доказываем? Что искажения не зависят от глубины? Зависят за счет уменьшения сигнала.

Вот практический смысл ускользает.

Потому что он теоретический.

Кроме сомнительного вывода, что нелинейность первого каскада не компенсируется ОС?

усиливается разница с сумматора. Кто-ж виноват, что сумматор совмещен с 1м каскадом???? Оттого и путаницца.