В случае если система неопределена (уравнений меньше, чем неизвестных), то часть переменных принимается за параметры.
Т. е. единственного решения у такой системы по определению быть не может?
Просто по ходу решения предыдущие уравнения проблему нехватки информации сваливают на него, а ему за всех приходится отвечать: оно же крайнее.
Увы, в моём учебнике представлена только такая методика: последовательное исключение неизвестных...
Что должно получиться?
Пожалуй, то, что Вы указали в первый раз:
Вот, например, уравнение более чем с одной переменной:

. Что должно получиться?

?
Судя по всему, да.
Переменные у функции, тут неизвестные
Пардон за терминологическую вольность. Теперь приму к сведению.