Итак, запустим процесс прогнозирования снова и сделаем следующий прогноз:

Один из прогнозов развития науки: в многокритериальном анализе формализм записи через функции сменится постепенно на бинарные отношения, а затем, выйдя за пределы теории множеств, на которой базируется и то, и другое, станет записываться UML-подобным формализмом. Это будет следствием того, что формальная логика, по сути изоморфная теории множеств, не является для данного случая достаточно содержательной. (Вспомним работы Г.П. Щедровицкого о необходимости использования соответствующих предметной области содержательных логик).