Как вы думаете, можно ли использовать в арифметическом выражении оператора присваивания неопределенную переменную? К каким последствиям это может
привести?

Это верно, если речь о необъявленной переменной. Но чаще неопределенной называют переменную, которой не присвоили значение, т.е. неинициализированную.

Да, главная беда freepascal, переменнная получает место в памяти а там мусор ...

Это не беда, это совершенно правильное поведение переменной. В С/С++ так все объекты себя ведут.

Если программист не выполнил инициализацию - значит ему так надо было. Почему компилятор насильно инициализирует числовую переменную нулем?

Да, наверное это логичнее чем при объявлении переменных их автоматически инициализировать

1. Если имеется в виду язык Pascal, то получим следующее:var: a;//PascalABC.NET (версия 3.1, сборка 1210 от 29.03.2016)begin  readln(a);  b:=a+a;  writeln (b);end.Program50.pas(5) : Неизвестное имя 'b'2. Попробуем такой вариант на Pythona =int(input())b = a+aprint(b)При вводе а получим на выходе 10Получается, что в Pacal требуется объявлять переменные в секции переменных, или в любом месте программы можно объявить переменную с помощью служебного слова var для PascalABC.net. Первый код можно переписать так, и он будет работать:var: a;//PascalABC.NET (версия 3.1, сборка 1210 от 29.03.2016)begin  readln(a);  var b:=a+a;  writeln (b);end.Рузультат при введенном значении 5 равен 10