Теорема Гёделя о неполноте
Не путайте невыводимость и неразрешимость.
Абель и Галуа доказали существование неразрешимых формул.
Формул не имеющих корней. (Степень >4).
То есть ложных.
Ложные формулы по определению не выводимы.
Проблема Гёделя в том , что он доказывает существование истинных невыводимых (недоказуемых) формул.
То есть истинных формул доказать истинность которых невозможно.
Это две большие разницы.
То есть формул имеющих корни, истинность которых недоказуема.
Полный абсурд.
Так как простая подстановка этих корней в формулу доказывает их истинность .
И это должно быть справедливо в любой логической системе. В том числе и в Гёделя.
Я не провожу детальную проверку его теории , так как это не имеет никакого смысла в силу вышесказанного. И если Гёдель утверждает обратное, то это просто означает , что его теория - абсурд.