История изменений
Исправление AntonI, (текущая версия) :
теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.
ЗЫ одна из первых ссылок по запросу «теория массивов математическая логика».
https://mk.cs.msu.ru/images/archive/d/d1/20190421171710%21Mathlog_318_lecture_12.pdf
Исходная версия AntonI, :
теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.