Неединственность решения - кошмарный сон прикладного математика. Конечно, есть ситуации вроде равного нулю определителя, когда система уравнений либо не имеет решений (как 0х=1), либо имеет бесконечно много (0х=0), в которых всё понятно. Дифференциальные или разностные уравнения имеют много решений изначально, но их и решают вкупе с граничными условиями, а у такой задачи решение должно быть единственное. Но вот ситуации, когда дифференциальное уравнение с начальным условием имеет много решений, выглядят дико...

8.1 Теоремы неполноты Гёделя Теоремы неполноты Гёделя утверждают, что в любой достаточно сложной формальной системе существуют истинные утверждения, которые не могут быть доказаны внутри системы. Это представляет фундаментальную проблему для любой попытки построения "окончательной теории". Семантическая интерпретация: Эти границы определяют пределы того, что может быть доказано внутри системы. Истинные утверждения, которые не могут быть доказаны, подобны звездам за горизонтом событий — они существуют, но недоступны для наблюдения изнутри системы...