Чтобы ИИ понимал, что он решает, он должен быть за пределами того, что он решает. В общем, для полноты любой системы нужен источник из вне, в этом инсайт Геделя. Мы не можем доказать правила арифметики внутри арифметики, нужно что-то извне, правила за пределами арифметики, и так с любой системой. Поэтому кстати ввели комплексные числа с мнимой единицей. Мы не могли решать "действительные" проблемы, описывать физику атома действительными числами, нужен был источник из вне -- так появилась мнимая единица...И так с любой системой формальных утверждений.